Tools/TRPreviewer.py

branch
maintenance
changeset 5730
6422afc7adc4
parent 5726
e1dbd217214a
child 6048
82ad8ec9548c
diff -r 9a71bd9e2e37 -r 6422afc7adc4 Tools/TRPreviewer.py
--- a/Tools/TRPreviewer.py	Sun Apr 09 16:52:55 2017 +0200
+++ b/Tools/TRPreviewer.py	Sat May 06 13:43:21 2017 +0200
@@ -753,7 +753,8 @@
     """
     Specialized MDI area to show the loaded widgets.
     
-    @signal lastWidgetClosed() emitted after last widget was closed
+    @signal lastWidgetClosed() emitted after the last widget was closed
+    @signal rebuildWidgets() emitted to indicate a change of loaded widgets
     """
     lastWidgetClosed = pyqtSignal()
     rebuildWidgets = pyqtSignal()

eric ide

mercurial