ViewManager/ViewManager.py

branch
QtWebEngine
changeset 4913
e16573640cb8
parent 4896
5ace700023de
child 4917
682750cc7bd5
equal deleted inserted replaced
4910:e97af1181efd 4913:e16573640cb8
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, pyqtSlot, QSignalMapper, QTimer, \ 14 from PyQt5.QtCore import pyqtSignal, QSignalMapper, QTimer, \
15 QFileInfo, QRegExp, Qt, QCoreApplication 15 QFileInfo, QRegExp, 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, QWidget 18 QApplication, QMenu, QComboBox, QWidget
19 from PyQt5.Qsci import QsciScintilla 19 from PyQt5.Qsci import QsciScintilla
6572 self.editorRenamed.emit(fn) 6572 self.editorRenamed.emit(fn)
6573 editor = self.sender() 6573 editor = self.sender()
6574 if editor: 6574 if editor:
6575 self.editorRenamedEd.emit(editor) 6575 self.editorRenamedEd.emit(editor)
6576 6576
6577 ## @pyqtSlot(str, int, int)
6578 def __cursorChanged(self, fn, line, pos): 6577 def __cursorChanged(self, fn, line, pos):
6579 """ 6578 """
6580 Private slot to handle the cursorChanged signal. 6579 Private slot to handle the cursorChanged signal.
6581 6580
6582 It emits the signal cursorChanged with parameter editor. 6581 It emits the signal cursorChanged with parameter editor.

eric ide

mercurial