QScintilla/SearchReplaceWidget.py

changeset 1131
7781e396c903
parent 1120
5c90fd188a24
child 1232
ed31e909cf2e
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
37 37
38 @param replace flag indicating a replace widget is called 38 @param replace flag indicating a replace widget is called
39 @param vm reference to the viewmanager object 39 @param vm reference to the viewmanager object
40 @param parent parent widget of this widget (QWidget) 40 @param parent parent widget of this widget (QWidget)
41 """ 41 """
42 QWidget.__init__(self, parent) 42 super().__init__(parent)
43 43
44 self.viewmanager = vm 44 self.viewmanager = vm
45 self.replace = replace 45 self.replace = replace
46 46
47 self.findHistory = vm.getSRHistory('search') 47 self.findHistory = vm.getSRHistory('search')
609 """ 609 """
610 if self.replace: 610 if self.replace:
611 self.__showReplace(text) 611 self.__showReplace(text)
612 else: 612 else:
613 self.__showFind(text) 613 self.__showFind(text)
614 QWidget.show(self) 614 super().show()
615 self.activateWindow() 615 self.activateWindow()
616 616
617 @pyqtSlot() 617 @pyqtSlot()
618 def on_closeButton_clicked(self): 618 def on_closeButton_clicked(self):
619 """ 619 """

eric ide

mercurial