UI/UserInterface.py

changeset 6424
5e74c4e22e9a
parent 6423
a9e6ae68170b
child 6426
f072dd2edb0f
--- 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.

eric ide

mercurial