1026 self.vm.copyActGrp.setEnabled(True) |
1026 self.vm.copyActGrp.setEnabled(True) |
1027 self.vm.viewActGrp.setEnabled(True) |
1027 self.vm.viewActGrp.setEnabled(True) |
1028 self.vm.searchActGrp.setEnabled(False) |
1028 self.vm.searchActGrp.setEnabled(False) |
1029 except AttributeError: |
1029 except AttributeError: |
1030 pass |
1030 pass |
|
1031 self.__searchShortcut.setEnabled(True) |
|
1032 self.__searchNextShortcut.setEnabled(True) |
|
1033 self.__searchPrevShortcut.setEnabled(True) |
1031 self.setCaretWidth(self.caretWidth) |
1034 self.setCaretWidth(self.caretWidth) |
1032 self.setCursorFlashTime(QApplication.cursorFlashTime()) |
1035 self.setCursorFlashTime(QApplication.cursorFlashTime()) |
1033 |
1036 |
1034 super().focusInEvent(event) |
1037 super().focusInEvent(event) |
1035 |
1038 |
1041 """ |
1044 """ |
1042 try: |
1045 try: |
1043 self.vm.editorActGrp.setEnabled(False) |
1046 self.vm.editorActGrp.setEnabled(False) |
1044 except AttributeError: |
1047 except AttributeError: |
1045 pass |
1048 pass |
|
1049 self.__searchShortcut.setEnabled(False) |
|
1050 self.__searchNextShortcut.setEnabled(False) |
|
1051 self.__searchPrevShortcut.setEnabled(False) |
1046 self.setCaretWidth(0) |
1052 self.setCaretWidth(0) |
1047 super().focusOutEvent(event) |
1053 super().focusOutEvent(event) |
1048 |
1054 |
1049 def insert(self, txt): |
1055 def insert(self, txt): |
1050 """ |
1056 """ |
1082 self.searchNext(*self.__lastSearch) |
1088 self.searchNext(*self.__lastSearch) |
1083 |
1089 |
1084 def searchNext(self, txt, caseSensitive, wholeWord): |
1090 def searchNext(self, txt, caseSensitive, wholeWord): |
1085 """ |
1091 """ |
1086 Public method to search the next occurrence of the given text. |
1092 Public method to search the next occurrence of the given text. |
|
1093 |
|
1094 @param txt text to search for (string) |
|
1095 @param caseSensitive flag indicating to perform a case sensitive |
|
1096 search (boolean) |
|
1097 @param wholeWord flag indicating to search for whole words |
|
1098 only (boolean) |
1087 """ |
1099 """ |
1088 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1100 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1089 ok = self.findFirst(txt, False, caseSensitive, wholeWord, False, forward=True) |
1101 ok = self.findFirst(txt, False, caseSensitive, wholeWord, False, forward=True) |
1090 self.searchStringFound.emit(ok) |
1102 self.searchStringFound.emit(ok) |
1091 |
1103 |
1097 self.searchPrev(*self.__lastSearch) |
1109 self.searchPrev(*self.__lastSearch) |
1098 |
1110 |
1099 def searchPrev(self, txt, caseSensitive, wholeWord): |
1111 def searchPrev(self, txt, caseSensitive, wholeWord): |
1100 """ |
1112 """ |
1101 Public method to search the previous occurrence of the given text. |
1113 Public method to search the previous occurrence of the given text. |
|
1114 |
|
1115 @param txt text to search for (string) |
|
1116 @param caseSensitive flag indicating to perform a case sensitive |
|
1117 search (boolean) |
|
1118 @param wholeWord flag indicating to search for whole words |
|
1119 only (boolean) |
1102 """ |
1120 """ |
1103 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1121 self.__lastSearch = (txt, caseSensitive, wholeWord) |
1104 if self.hasSelectedText(): |
1122 if self.hasSelectedText(): |
1105 line, index = self.getSelection()[:2] |
1123 line, index = self.getSelection()[:2] |
1106 else: |
1124 else: |