Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 486
e4711a55e482
parent 457
608a9c14f4c9
child 495
b31b0bffa5b0
equal deleted inserted replaced
485:b17b3aea644e 486:e4711a55e482
24 """ 24 """
25 Class implementing the mdi area viewmanager class. 25 Class implementing the mdi area viewmanager class.
26 26
27 @signal editorChanged(string) emitted when the current editor has changed 27 @signal editorChanged(string) emitted when the current editor has changed
28 """ 28 """
29 editorOpened = pyqtSignal(str)
30 lastEditorClosed = pyqtSignal()
31 checkActions = pyqtSignal(Editor)
32 cursorChanged = pyqtSignal(Editor)
33 breakpointToggled = pyqtSignal(Editor)
34
29 def __init__(self, parent): 35 def __init__(self, parent):
30 """ 36 """
31 Constructor 37 Constructor
32 38
33 @param parent parent widget (QWidget) 39 @param parent parent widget (QWidget)

eric ide

mercurial