QScintilla/Terminal.py

changeset 1833
f7cd855680f1
parent 1830
f2fccb8c2ab4
child 1965
96f5a76e1845
--- a/QScintilla/Terminal.py	Wed May 02 19:10:17 2012 +0200
+++ b/QScintilla/Terminal.py	Fri May 04 20:06:17 2012 +0200
@@ -1028,6 +1028,9 @@
             self.vm.searchActGrp.setEnabled(False)
         except AttributeError:
             pass
+        self.__searchShortcut.setEnabled(True)
+        self.__searchNextShortcut.setEnabled(True)
+        self.__searchPrevShortcut.setEnabled(True)
         self.setCaretWidth(self.caretWidth)
         self.setCursorFlashTime(QApplication.cursorFlashTime())
         
@@ -1043,6 +1046,9 @@
             self.vm.editorActGrp.setEnabled(False)
         except AttributeError:
             pass
+        self.__searchShortcut.setEnabled(False)
+        self.__searchNextShortcut.setEnabled(False)
+        self.__searchPrevShortcut.setEnabled(False)
         self.setCaretWidth(0)
         super().focusOutEvent(event)
         
@@ -1084,6 +1090,12 @@
     def searchNext(self, txt, caseSensitive, wholeWord):
         """
         Public method to search the next occurrence of the given text.
+        
+        @param txt text to search for (string)
+        @param caseSensitive flag indicating to perform a case sensitive
+            search (boolean)
+        @param wholeWord flag indicating to search for whole words 
+            only (boolean)
         """
         self.__lastSearch = (txt, caseSensitive, wholeWord)
         ok = self.findFirst(txt, False, caseSensitive, wholeWord, False, forward=True)
@@ -1099,6 +1111,12 @@
     def searchPrev(self, txt, caseSensitive, wholeWord):
         """
         Public method to search the previous occurrence of the given text.
+        
+        @param txt text to search for (string)
+        @param caseSensitive flag indicating to perform a case sensitive
+            search (boolean)
+        @param wholeWord flag indicating to search for whole words 
+            only (boolean)
         """
         self.__lastSearch = (txt, caseSensitive, wholeWord)
         if self.hasSelectedText():

eric ide

mercurial