538 """ |
538 """ |
539 Public slot to update the selection check box. |
539 Public slot to update the selection check box. |
540 |
540 |
541 @param editor reference to the editor (Editor) |
541 @param editor reference to the editor (Editor) |
542 """ |
542 """ |
543 if not self.__finding: |
543 if not self.__finding and isinstance(editor, Editor): |
544 if editor.hasSelectedText(): |
544 if editor.hasSelectedText(): |
545 selections = editor.getSelections() |
545 selections = editor.getSelections() |
546 line1, index1, line2, index2 = self.__selectionBoundary(selections) |
546 line1, index1, line2, index2 = self.__selectionBoundary(selections) |
547 if line1 != line2: |
547 if line1 != line2: |
548 self.ui.selectionCheckBox.setEnabled(True) |
548 self.ui.selectionCheckBox.setEnabled(True) |