Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 495
b31b0bffa5b0
parent 486
e4711a55e482
child 500
c3abc7895a01
equal deleted inserted replaced
492:01f3384d535a 495:b31b0bffa5b0
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 editorChanged = pyqtSignal(str)
29 editorOpened = pyqtSignal(str) 30 editorOpened = pyqtSignal(str)
30 lastEditorClosed = pyqtSignal() 31 lastEditorClosed = pyqtSignal()
31 checkActions = pyqtSignal(Editor) 32 checkActions = pyqtSignal(Editor)
32 cursorChanged = pyqtSignal(Editor) 33 cursorChanged = pyqtSignal(Editor)
33 breakpointToggled = pyqtSignal(Editor) 34 breakpointToggled = pyqtSignal(Editor)
48 self.setHorizontalScrollBarPolicy(Qt.ScrollBarAsNeeded) 49 self.setHorizontalScrollBarPolicy(Qt.ScrollBarAsNeeded)
49 self.setVerticalScrollBarPolicy(Qt.ScrollBarAsNeeded) 50 self.setVerticalScrollBarPolicy(Qt.ScrollBarAsNeeded)
50 51
51 self.__windowMapper = QSignalMapper(self) 52 self.__windowMapper = QSignalMapper(self)
52 53
53 self.connect(self.__windowMapper, SIGNAL('mapped(QWidget*)'), 54 self.__windowMapper.mapped[QWidget].connect(self.setActiveSubWindow)
54 self.setActiveSubWindow) 55 self.subWindowActivated.connect(self.__subWindowActivated)
55 self.connect(self, SIGNAL('subWindowActivated(QMdiSubWindow*)'),
56 self.__subWindowActivated)
57 56
58 def canCascade(self): 57 def canCascade(self):
59 """ 58 """
60 Public method to signal if cascading of managed windows is available. 59 Public method to signal if cascading of managed windows is available.
61 60
337 if subWindow is not None: 336 if subWindow is not None:
338 editor = subWindow.widget() 337 editor = subWindow.widget()
339 self._checkActions(editor) 338 self._checkActions(editor)
340 if editor is not None: 339 if editor is not None:
341 fn = editor.getFileName() 340 fn = editor.getFileName()
342 self.emit(SIGNAL('editorChanged'), fn) 341 self.editorChanged.emit(fn)
343 342
344 def eventFilter(self, watched, event): 343 def eventFilter(self, watched, event):
345 """ 344 """
346 Public method called to filter the event queue. 345 Public method called to filter the event queue.
347 346

eric ide

mercurial