--- a/ViewManager/ViewManager.py Sat Jun 18 20:06:38 2011 +0200 +++ b/ViewManager/ViewManager.py Sun Jun 19 17:24:22 2011 +0200 @@ -2189,6 +2189,8 @@ qtb.addAction(self.quickSearchBackAct) qtb.addAction(self.quickSearchExtendAct) self.quickFindtextCombo.setEnabled(False) + self.__quickSearchToolbar = qtb + self.__quickSearchToolbarVisibility = None tb = QToolBar(QApplication.translate('ViewManager', 'Search'), self.ui) tb.setIconSize(UI.Config.ToolBarIconSize) @@ -3687,8 +3689,14 @@ self.editActGrp.setEnabled(False) self.copyActGrp.setEnabled(False) self.viewActGrp.setEnabled(False) + + if not isinstance(now, (Editor, Shell, Terminal)) and \ + now is not self.quickFindtextCombo: self.searchActGrp.setEnabled(False) + if now is self.quickFindtextCombo: + self.searchActGrp.setEnabled(True) + if isinstance(old, (Editor, Shell, Terminal)): self.__lastFocusWidget = old @@ -3907,6 +3915,10 @@ """ # first we have to check if quick search is active # and try to activate it if not + if self.__quickSearchToolbarVisibility is None: + self.__quickSearchToolbarVisibility = self.__quickSearchToolbar.isVisible() + if not self.__quickSearchToolbar.isVisible(): + self.__quickSearchToolbar.show() if not self.quickFindtextCombo.lineEdit().hasFocus(): aw = self.activeWindow() self.quickFindtextCombo.lastActive = aw @@ -3935,6 +3947,9 @@ """ if self.quickFindtextCombo.lastActive: self.quickFindtextCombo.lastActive.setFocus() + if self.__quickSearchToolbarVisibility is not None: + self.__quickSearchToolbar.setVisible(self.__quickSearchToolbarVisibility) + self.__quickSearchToolbarVisibility = None def __quickSearchEscape(self): """ @@ -3947,6 +3962,9 @@ if aw and self.quickFindtextCombo.lastCursorPos: aw.setCursorPosition(self.quickFindtextCombo.lastCursorPos[0], self.quickFindtextCombo.lastCursorPos[1]) + if self.__quickSearchToolbarVisibility is not None: + self.__quickSearchToolbar.setVisible(self.__quickSearchToolbarVisibility) + self.__quickSearchToolbarVisibility = None def __quickSearchText(self): """ @@ -4058,7 +4076,7 @@ re = QRegExp('[^\w_]') end = re.indexIn(text, index) if end > index: - ext = text[index:end + 1] + ext = text[index:end] txt += ext self.quickFindtextCombo.lineEdit().setText(txt)