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