src/eric7/CodeFormatting/FormattingDiffWidget.py

branch
eric7
changeset 9715
5476ef9093dd
parent 9653
e67609152c5e
child 10065
de4ae767b0e3
equal deleted inserted replaced
9703:c4cc4b71cc1d 9715:5476ef9093dd
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

eric ide

mercurial