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