--- 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()