670 self.findtextCombo.setEditText(word) |
670 self.findtextCombo.setEditText(word) |
671 self.findtextCombo.lineEdit().selectAll() |
671 self.findtextCombo.lineEdit().selectAll() |
672 self.__quickSearch(word) |
672 self.__quickSearch(word) |
673 |
673 |
674 @pyqtSlot(bool) |
674 @pyqtSlot(bool) |
675 def __updateQuickSearchMarkers(self, on): |
675 def __updateQuickSearchMarkers(self, _on): |
676 """ |
676 """ |
677 Private slot to handle the selection of the various check boxes. |
677 Private slot to handle the selection of the various check boxes. |
678 |
678 |
679 @param on status of the check box (ignored) |
679 @param _on status of the check box (unused) |
680 @type bool |
680 @type bool |
681 """ |
681 """ |
682 txt = self.findtextCombo.currentText() |
682 txt = self.findtextCombo.currentText() |
683 self.__quickSearch(txt) |
683 self.__quickSearch(txt) |
684 |
684 |
1114 self.__currentEditor.clearSearchSelectionHighlight() |
1114 self.__currentEditor.clearSearchSelectionHighlight() |
1115 self.__currentEditor = editor |
1115 self.__currentEditor = editor |
1116 |
1116 |
1117 if editor.hasSelectedText(): |
1117 if editor.hasSelectedText(): |
1118 selections = editor.getSelections() |
1118 selections = editor.getSelections() |
1119 line1, index1, line2, index2 = self.__selectionBoundary(selections) |
1119 line1, index1, line2, _index2 = self.__selectionBoundary(selections) |
1120 if line1 != line2: |
1120 if line1 != line2: |
1121 self.selectionCheckBox.setEnabled(True) |
1121 self.selectionCheckBox.setEnabled(True) |
1122 self.selectionCheckBox.setChecked(True) |
1122 self.selectionCheckBox.setChecked(True) |
1123 self.__selections = selections |
1123 self.__selections = selections |
1124 self.__currentEditor.clearSearchSelectionHighlight() |
1124 self.__currentEditor.clearSearchSelectionHighlight() |
1381 self.havefound = True |
1381 self.havefound = True |
1382 |
1382 |
1383 aw = self.__viewmanager.activeWindow() |
1383 aw = self.__viewmanager.activeWindow() |
1384 self.updateSelectionCheckBox(aw) |
1384 self.updateSelectionCheckBox(aw) |
1385 if aw.hasSelectedText(): |
1385 if aw.hasSelectedText(): |
1386 line1, index1, line2, index2 = aw.getSelection() |
1386 line1, index1, line2, _index2 = aw.getSelection() |
1387 if line1 == line2: |
1387 if line1 == line2: |
1388 aw.setSelection(line1, index1, line1, index1) |
1388 aw.setSelection(line1, index1, line1, index1) |
1389 self.findNext() |
1389 self.findNext() |
1390 |
1390 |
1391 self.__setShortcuts() |
1391 self.__setShortcuts() |