--- a/UI/UserInterface.py Tue Jul 10 19:16:02 2018 +0200 +++ b/UI/UserInterface.py Tue Jul 10 19:41:30 2018 +0200 @@ -131,7 +131,8 @@ self.buffer += str(s) self.__nWrite(self.__bufferedWrite()) -# TODO: make "File-Browser", "Symbols" and "Numbers" configurable + +# TODO: make "Template-Viewer", "File-Browser", "Symbols" and "Numbers" configurable class UserInterface(E5MainWindow): """ Class implementing the main user interface.