ViewManager/ViewManager.py

changeset 6116
f3d3c996c193
parent 6072
059c8f981ef4
child 6118
da9e08920e7c
equal deleted inserted replaced
6115:ac3a98f3ebc2 6116:f3d3c996c193
4656 editor.taskMarkersUpdated.connect(self.__taskMarkersUpdated) 4656 editor.taskMarkersUpdated.connect(self.__taskMarkersUpdated)
4657 editor.changeMarkersUpdated.connect(self.__changeMarkersUpdated) 4657 editor.changeMarkersUpdated.connect(self.__changeMarkersUpdated)
4658 editor.languageChanged.connect(self.__editorConfigChanged) 4658 editor.languageChanged.connect(self.__editorConfigChanged)
4659 editor.eolChanged.connect(self.__editorConfigChanged) 4659 editor.eolChanged.connect(self.__editorConfigChanged)
4660 editor.encodingChanged.connect(self.__editorConfigChanged) 4660 editor.encodingChanged.connect(self.__editorConfigChanged)
4661 editor.selectionChanged.connect(self.__searchWidget.selectionChanged) 4661 editor.selectionChanged.connect(
4662 editor.selectionChanged.connect(self.__replaceWidget.selectionChanged) 4662 lambda: self.__searchWidget.selectionChanged(editor))
4663 editor.selectionChanged.connect(self.__editorSelectionChanged) 4663 editor.selectionChanged.connect(
4664 lambda: self.__replaceWidget.selectionChanged(editor))
4665 editor.selectionChanged.connect(
4666 lambda: self.__editorSelectionChanged(editor))
4664 editor.lastEditPositionAvailable.connect( 4667 editor.lastEditPositionAvailable.connect(
4665 self.__lastEditPositionAvailable) 4668 self.__lastEditPositionAvailable)
4666 editor.zoomValueChanged.connect(self.zoomValueChanged) 4669 editor.zoomValueChanged.connect(self.zoomValueChanged)
4667 4670
4668 editor.languageChanged.connect( 4671 editor.languageChanged.connect(
6885 zoom = editor.getZoom() 6888 zoom = editor.getZoom()
6886 self.__setSbFile( 6889 self.__setSbFile(
6887 fn, line + 1, pos, encoding=enc, language=lang, eol=eol, zoom=zoom) 6890 fn, line + 1, pos, encoding=enc, language=lang, eol=eol, zoom=zoom)
6888 self._checkActions(editor, False) 6891 self._checkActions(editor, False)
6889 6892
6890 def __editorSelectionChanged(self): 6893 def __editorSelectionChanged(self, editor):
6891 """ 6894 """
6892 Private slot to handle changes of the current editors selection. 6895 Private slot to handle changes of the current editors selection.
6893 """ 6896
6894 editor = self.sender() 6897 @param editor reference to the editor
6895 if editor: 6898 @type Editor
6896 self.sortAct.setEnabled(editor.selectionIsRectangle()) 6899 """
6897 enable = editor.hasSelection() 6900 self.sortAct.setEnabled(editor.selectionIsRectangle())
6898 self.editUpperCaseAct.setEnabled(enable) 6901 enable = editor.hasSelection()
6899 self.editLowerCaseAct.setEnabled(enable) 6902 self.editUpperCaseAct.setEnabled(enable)
6900 else: 6903 self.editLowerCaseAct.setEnabled(enable)
6901 self.sortAct.setEnabled(False)
6902 6904
6903 def __editSortSelectedLines(self): 6905 def __editSortSelectedLines(self):
6904 """ 6906 """
6905 Private slot to sort the selected lines. 6907 Private slot to sort the selected lines.
6906 """ 6908 """

eric ide

mercurial