447 Public slot to update the selection check box. |
447 Public slot to update the selection check box. |
448 |
448 |
449 @param editor reference to the editor (Editor) |
449 @param editor reference to the editor (Editor) |
450 """ |
450 """ |
451 if not self.__finding: |
451 if not self.__finding: |
452 if editor.hasSelectedText(): |
452 if editor.hasSelectedText() and not editor.selectionIsRectangle(): |
453 line1, index1, line2, index2 = editor.getSelection() |
453 line1, index1, line2, index2 = editor.getSelection() |
454 if line1 != line2: |
454 if line1 != line2: |
455 self.ui.selectionCheckBox.setEnabled(True) |
455 self.ui.selectionCheckBox.setEnabled(True) |
456 self.ui.selectionCheckBox.setChecked(True) |
456 self.ui.selectionCheckBox.setChecked(True) |
457 self.__selection = (line1, index1, line2, index2) |
457 self.__selection = (line1, index1, line2, index2) |