52 self.diffEdit.setPlainText(self.tr("There is no difference.")) |
52 self.diffEdit.setPlainText(self.tr("There is no difference.")) |
53 |
53 |
54 if self.__savedGeometry is not None: |
54 if self.__savedGeometry is not None: |
55 self.restoreGeometry(self.__savedGeometry) |
55 self.restoreGeometry(self.__savedGeometry) |
56 |
56 |
57 self.show() |
57 if not self.isVisible(): |
|
58 self.show() |
|
59 self.activateWindow() |
|
60 self.raise_() |
58 |
61 |
59 def closeEvent(self, evt): |
62 def closeEvent(self, evt): |
60 """ |
63 """ |
61 Protected slot implementing a close event handler. |
64 Protected slot implementing a close event handler. |
62 |
65 |