Tools/TRPreviewer.py

changeset 5726
e1dbd217214a
parent 5651
982465f8389c
child 6048
82ad8ec9548c
equal deleted inserted replaced
5725:671561c52802 5726:e1dbd217214a
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