ViewManager/ViewManager.py

changeset 4876
686e69aecdb5
parent 4814
0e3903a7480d
child 4891
d6e8171d2c02
--- a/ViewManager/ViewManager.py	Sat Mar 19 15:27:52 2016 +0100
+++ b/ViewManager/ViewManager.py	Sat Mar 19 17:30:05 2016 +0100
@@ -11,7 +11,7 @@
 
 import os
 
-from PyQt5.QtCore import pyqtSignal, QSignalMapper, QTimer, \
+from PyQt5.QtCore import pyqtSignal, pyqtSlot, QSignalMapper, QTimer, \
     QFileInfo, QRegExp, QObject, Qt, QCoreApplication
 from PyQt5.QtGui import QColor, QKeySequence, QPalette, QPixmap
 from PyQt5.QtWidgets import QLineEdit, QToolBar, QWidgetAction, QDialog, \
@@ -6563,6 +6563,7 @@
         if editor:
             self.editorRenamedEd.emit(editor)
         
+##    @pyqtSlot(str, int, int)
     def __cursorChanged(self, fn, line, pos):
         """
         Private slot to handle the cursorChanged signal.

eric ide

mercurial