Tools/TRPreviewer.py

branch
maintenance
changeset 5730
6422afc7adc4
parent 5726
e1dbd217214a
child 6048
82ad8ec9548c
equal deleted inserted replaced
5695:9a71bd9e2e37 5730:6422afc7adc4
751 751
752 class WidgetArea(QMdiArea): 752 class WidgetArea(QMdiArea):
753 """ 753 """
754 Specialized MDI area to show the loaded widgets. 754 Specialized MDI area to show the loaded widgets.
755 755
756 @signal lastWidgetClosed() emitted after last widget was closed 756 @signal lastWidgetClosed() emitted after the last widget was closed
757 @signal rebuildWidgets() emitted to indicate a change of loaded widgets
757 """ 758 """
758 lastWidgetClosed = pyqtSignal() 759 lastWidgetClosed = pyqtSignal()
759 rebuildWidgets = pyqtSignal() 760 rebuildWidgets = pyqtSignal()
760 761
761 def __init__(self, parent=None): 762 def __init__(self, parent=None):

eric ide

mercurial