Tools/TRPreviewer.py

branch
maintenance
changeset 5730
6422afc7adc4
parent 5726
e1dbd217214a
child 6048
82ad8ec9548c
--- 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