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 |