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