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