139 self.__portSpin.setEnabled(False) |
139 self.__portSpin.setEnabled(False) |
140 self.__styleCombo.setEnabled(False) |
140 self.__styleCombo.setEnabled(False) |
141 self.vcs.getPlugin().setPreferences("ServerPort", port) |
141 self.vcs.getPlugin().setPreferences("ServerPort", port) |
142 self.vcs.getPlugin().setPreferences("ServerStyle", style) |
142 self.vcs.getPlugin().setPreferences("ServerStyle", style) |
143 else: |
143 else: |
144 E5MessageBox.critical(self, |
144 E5MessageBox.critical( |
|
145 self, |
145 self.trUtf8('Process Generation Error'), |
146 self.trUtf8('Process Generation Error'), |
146 self.trUtf8( |
147 self.trUtf8( |
147 'The process {0} could not be started. ' |
148 'The process {0} could not be started. ' |
148 'Ensure, that it is in the search path.' |
149 'Ensure, that it is in the search path.' |
149 ).format('hg')) |
150 ).format('hg')) |