UI/UserInterface.py

changeset 6424
5e74c4e22e9a
parent 6423
a9e6ae68170b
child 6426
f072dd2edb0f
equal deleted inserted replaced
6423:a9e6ae68170b 6424:5e74c4e22e9a
129 @param s data to be written (it must support the str-method) 129 @param s data to be written (it must support the str-method)
130 """ 130 """
131 self.buffer += str(s) 131 self.buffer += str(s)
132 self.__nWrite(self.__bufferedWrite()) 132 self.__nWrite(self.__bufferedWrite())
133 133
134 # TODO: make "File-Browser", "Symbols" and "Numbers" configurable 134
135 # TODO: make "Template-Viewer", "File-Browser", "Symbols" and "Numbers" configurable
135 class UserInterface(E5MainWindow): 136 class UserInterface(E5MainWindow):
136 """ 137 """
137 Class implementing the main user interface. 138 Class implementing the main user interface.
138 139
139 @signal appendStderr(str) emitted to write data to stderr logger 140 @signal appendStderr(str) emitted to write data to stderr logger

eric ide

mercurial