15 from E5Gui.E5Application import e5App |
15 from E5Gui.E5Application import e5App |
16 |
16 |
17 from ViewManager.ViewManager import ViewManager |
17 from ViewManager.ViewManager import ViewManager |
18 |
18 |
19 import QScintilla.Editor |
19 import QScintilla.Editor |
|
20 from QScintilla.Editor import Editor |
20 |
21 |
21 import UI.PixmapCache |
22 import UI.PixmapCache |
22 |
23 |
23 from E5Gui.E5TabWidget import E5TabWidget, E5WheelTabBar |
24 from E5Gui.E5TabWidget import E5TabWidget, E5WheelTabBar |
24 from E5Gui.E5Led import E5Led |
25 from E5Gui.E5Led import E5Led |
619 Class implementing a tabbed viewmanager class embedded in a splitter. |
620 Class implementing a tabbed viewmanager class embedded in a splitter. |
620 |
621 |
621 @signal changeCaption(string) emitted if a change of the caption is necessary |
622 @signal changeCaption(string) emitted if a change of the caption is necessary |
622 @signal editorChanged(string) emitted when the current editor has changed |
623 @signal editorChanged(string) emitted when the current editor has changed |
623 """ |
624 """ |
|
625 editorOpened = pyqtSignal(str) |
|
626 lastEditorClosed = pyqtSignal() |
|
627 checkActions = pyqtSignal(Editor) |
|
628 cursorChanged = pyqtSignal(Editor) |
|
629 breakpointToggled = pyqtSignal(Editor) |
|
630 |
624 def __init__(self, parent): |
631 def __init__(self, parent): |
625 """ |
632 """ |
626 Constructor |
633 Constructor |
627 |
634 |
628 @param parent parent widget (QWidget) |
635 @param parent parent widget (QWidget) |