eric6/Plugins/ViewManagerPlugins/Tabview/Tabview.py

branch
maintenance
changeset 7737
5371a22cf2aa
parent 7560
343db73c4842
parent 7705
90a9aefd4253
child 7824
096b3ebc1409
equal deleted inserted replaced
7691:e2b36c2167b7 7737:5371a22cf2aa
454 """ 454 """
455 if editor and isinstance(editor, QScintilla.Editor.Editor): 455 if editor and isinstance(editor, QScintilla.Editor.Editor):
456 fn = editor.getFileName() 456 fn = editor.getFileName()
457 if fn: 457 if fn:
458 self.vm.editorLineChanged.emit(fn, lineno + 1) 458 self.vm.editorLineChanged.emit(fn, lineno + 1)
459 self.vm.editorLineChangedEd.emit(editor, lineno + 1)
459 460
460 def removeWidget(self, widget): 461 def removeWidget(self, widget):
461 """ 462 """
462 Public method to remove a widget. 463 Public method to remove a widget.
463 464
761 editors language 762 editors language
762 @signal editorTextChanged(Editor) emitted to signal a change of an 763 @signal editorTextChanged(Editor) emitted to signal a change of an
763 editor's text 764 editor's text
764 @signal editorLineChanged(str,int) emitted to signal a change of an 765 @signal editorLineChanged(str,int) emitted to signal a change of an
765 editor's current line (line is given one based) 766 editor's current line (line is given one based)
767 @signal editorLineChangedEd(Editor,int) emitted to signal a change of an
768 editor's current line (line is given one based)
766 """ 769 """
767 changeCaption = pyqtSignal(str) 770 changeCaption = pyqtSignal(str)
768 editorChanged = pyqtSignal(str) 771 editorChanged = pyqtSignal(str)
769 editorChangedEd = pyqtSignal(Editor) 772 editorChangedEd = pyqtSignal(Editor)
770 lastEditorClosed = pyqtSignal() 773 lastEditorClosed = pyqtSignal()
784 previewStateChanged = pyqtSignal(bool) 787 previewStateChanged = pyqtSignal(bool)
785 astViewerStateChanged = pyqtSignal(bool) 788 astViewerStateChanged = pyqtSignal(bool)
786 editorLanguageChanged = pyqtSignal(Editor) 789 editorLanguageChanged = pyqtSignal(Editor)
787 editorTextChanged = pyqtSignal(Editor) 790 editorTextChanged = pyqtSignal(Editor)
788 editorLineChanged = pyqtSignal(str, int) 791 editorLineChanged = pyqtSignal(str, int)
792 editorLineChangedEd = pyqtSignal(Editor, int)
789 793
790 def __init__(self, parent): 794 def __init__(self, parent):
791 """ 795 """
792 Constructor 796 Constructor
793 797

eric ide

mercurial