QScintilla/SearchReplaceWidget.py

changeset 2689
dc0b8301523d
parent 2663
37b3ec77f2c4
child 2791
a9577f248f04
child 2965
d133c7edd88a
equal deleted inserted replaced
2686:b62077dc52c4 2689:dc0b8301523d
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)

eric ide

mercurial