ViewManager/ViewManager.py

changeset 4876
686e69aecdb5
parent 4814
0e3903a7480d
child 4891
d6e8171d2c02
equal deleted inserted replaced
4873:d93871657c5d 4876:686e69aecdb5
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11 11
12 import os 12 import os
13 13
14 from PyQt5.QtCore import pyqtSignal, QSignalMapper, QTimer, \ 14 from PyQt5.QtCore import pyqtSignal, pyqtSlot, QSignalMapper, QTimer, \
15 QFileInfo, QRegExp, QObject, Qt, QCoreApplication 15 QFileInfo, QRegExp, QObject, Qt, QCoreApplication
16 from PyQt5.QtGui import QColor, QKeySequence, QPalette, QPixmap 16 from PyQt5.QtGui import QColor, QKeySequence, QPalette, QPixmap
17 from PyQt5.QtWidgets import QLineEdit, QToolBar, QWidgetAction, QDialog, \ 17 from PyQt5.QtWidgets import QLineEdit, QToolBar, QWidgetAction, QDialog, \
18 QApplication, QMenu, QComboBox 18 QApplication, QMenu, QComboBox
19 from PyQt5.Qsci import QsciScintilla 19 from PyQt5.Qsci import QsciScintilla
6561 self.editorRenamed.emit(fn) 6561 self.editorRenamed.emit(fn)
6562 editor = self.sender() 6562 editor = self.sender()
6563 if editor: 6563 if editor:
6564 self.editorRenamedEd.emit(editor) 6564 self.editorRenamedEd.emit(editor)
6565 6565
6566 ## @pyqtSlot(str, int, int)
6566 def __cursorChanged(self, fn, line, pos): 6567 def __cursorChanged(self, fn, line, pos):
6567 """ 6568 """
6568 Private slot to handle the cursorChanged signal. 6569 Private slot to handle the cursorChanged signal.
6569 6570
6570 It emits the signal cursorChanged with parameter editor. 6571 It emits the signal cursorChanged with parameter editor.

eric ide

mercurial