def beforePaint(self, painter): BaseTextWidget.beforePaint(self, painter) self.__highlightSelectedText(painter) self.__highlightAutoSelectedText(painter)
def __init__(self,textDocumentObj = None,settingsObj = None,parent=None): BaseTextWidget.__init__(self,textDocumentObj,settingsObj,parent) self.onQuickCtrlKeySignal.connect(self.onQuickCtrlKey) self.__searchDialog = SearchDialog(self) self.searchDialog = lambda : self.__searchDialog