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
