def __init__(self, parent):
self.__maxLength = None
TextEditor.__init__(self, parent, None)
self.__revisionTooltipShown = False
self.__initAlterRevisionMarker()
self._updateDwellingTime()
return
def __init__( self, parent ):
self.__maxLength = None
TextEditor.__init__( self, parent, None )
self.__revisionTooltipShown = False
self.__initAlterRevisionMarker()
self._updateDwellingTime()
return
def __init__(self, parent):
TextEditor.__init__(self, parent, None)
self.zoomTo(Settings().zoom)
# line number -> [ timestamps ]
self.__marginTooltip = {}
self.mode = self.MODE_OUTPUT
self.lastOutputPos = None
self.inputEcho = True
self.inputBuffer = ""
self.__messages = IOConsoleMessages()
self.__initGeneralSettings()
self.__initMargins()
self.__timestampTooltipShown = False
self.__initMessageMarkers()
self._updateDwellingTime()
self.installEventFilter(self)
return
def __init__( self, parent ):
TextEditor.__init__( self, parent, None )
self.zoomTo( Settings().zoom )
# line number -> [ timestamps ]
self.__marginTooltip = {}
self.mode = self.MODE_OUTPUT
self.lastOutputPos = None
self.inputEcho = True
self.inputBuffer = ""
self.__messages = IOConsoleMessages()
self.__initGeneralSettings()
self.__initMargins()
self.__timestampTooltipShown = False
self.__initMessageMarkers()
self._updateDwellingTime()
self.installEventFilter( self )
return
