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
