Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 486
e4711a55e482
parent 464
a2b1d1770ef0
child 500
c3abc7895a01
equal deleted inserted replaced
485:b17b3aea644e 486:e4711a55e482
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)

eric ide

mercurial