Tools/TRPreviewer.py

changeset 5726
e1dbd217214a
parent 5651
982465f8389c
child 6048
82ad8ec9548c
--- a/Tools/TRPreviewer.py	Fri May 05 19:05:26 2017 +0200
+++ b/Tools/TRPreviewer.py	Fri May 05 19:06:52 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