267 locker.unlock() |
267 locker.unlock() |
268 os.chdir(cwd) |
268 os.chdir(cwd) |
269 self.__finish() |
269 self.__finish() |
270 |
270 |
271 if self.paras == 0: |
271 if self.paras == 0: |
272 self.contents.insertPlainText( |
272 self.contents.setCurrentCharFormat(self.cNormalFormat) |
|
273 self.contents.setPlainText( |
273 self.tr('There is no difference.')) |
274 self.tr('There is no difference.')) |
274 return |
275 |
275 |
276 self.buttonBox.button(QDialogButtonBox.Save).setEnabled(self.paras > 0) |
276 self.buttonBox.button(QDialogButtonBox.Save).setEnabled(True) |
|
277 |
277 |
278 def __appendText(self, line): |
278 def __appendText(self, line): |
279 """ |
279 """ |
280 Private method to append text to the end of the contents pane. |
280 Private method to append text to the end of the contents pane. |
281 |
281 |