diff -r ac3a98f3ebc2 -r f3d3c996c193 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py Mon Feb 05 19:15:47 2018 +0100
+++ b/ViewManager/ViewManager.py Mon Feb 05 19:59:18 2018 +0100
@@ -4658,9 +4658,12 @@
editor.languageChanged.connect(self.__editorConfigChanged)
editor.eolChanged.connect(self.__editorConfigChanged)
editor.encodingChanged.connect(self.__editorConfigChanged)
- editor.selectionChanged.connect(self.__searchWidget.selectionChanged)
- editor.selectionChanged.connect(self.__replaceWidget.selectionChanged)
- editor.selectionChanged.connect(self.__editorSelectionChanged)
+ editor.selectionChanged.connect(
+ lambda: self.__searchWidget.selectionChanged(editor))
+ editor.selectionChanged.connect(
+ lambda: self.__replaceWidget.selectionChanged(editor))
+ editor.selectionChanged.connect(
+ lambda: self.__editorSelectionChanged(editor))
editor.lastEditPositionAvailable.connect(
self.__lastEditPositionAvailable)
editor.zoomValueChanged.connect(self.zoomValueChanged)
@@ -6887,18 +6890,17 @@
fn, line + 1, pos, encoding=enc, language=lang, eol=eol, zoom=zoom)
self._checkActions(editor, False)
- def __editorSelectionChanged(self):
+ def __editorSelectionChanged(self, editor):
"""
Private slot to handle changes of the current editors selection.
- """
- editor = self.sender()
- if editor:
- self.sortAct.setEnabled(editor.selectionIsRectangle())
- enable = editor.hasSelection()
- self.editUpperCaseAct.setEnabled(enable)
- self.editLowerCaseAct.setEnabled(enable)
- else:
- self.sortAct.setEnabled(False)
+
+ @param editor reference to the editor
+ @type Editor
+ """
+ self.sortAct.setEnabled(editor.selectionIsRectangle())
+ enable = editor.hasSelection()
+ self.editUpperCaseAct.setEnabled(enable)
+ self.editLowerCaseAct.setEnabled(enable)
def __editSortSelectedLines(self):
"""
