--- 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.