# Programmer: Franz Steinhaeusler # E-mail: francescoa@users.sourceforge.net # Note: Initial Release 12/15/2004 # # Copyright 2004-2005 Franz Steinhaeusler # # Distributed under the terms of the GPL (GNU Public License) # # DrPython is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA #Plugin #IncrementalSearch #Version: 0.0.0, 15.12.2004 #Version: 0.0.1, 21.01.2005 import wx #this is needed for PyChecker #import sys #sys.path.append('c:/Eigene Dateien/python/drpython') def OnAbout(DrFrame): IncrementalSearch_Version = "0.0.1" NameAndVersion = "IncrementalSearch:\n\nVersion: " + IncrementalSearch_Version + "\n" AboutString = NameAndVersion + "By Franz Steinhaeusler\n\nReleased under the GPL." DrFrame.ShowMessage(AboutString, "About") def OnHelp(DrFrame): HelpText=\ "\ this pluin is based on scite incremental Search and I took some ideas from multi-edit.\n\n\ You can quit the dialog with:\n\ ESC: jumps back to old cursor position.\n\ Cursor Keys: it performs a curor movement of the current search position.\n\n\ Search next: enter key or alt-n, or button\n\ Search previous: shift-enter key or alt-p\n\n\ the textctrl ignore keys, where no search string is found.\n\ Special handling of backspace key.\n\n\ Enjoy!\n\ " DrFrame.ShowMessage(HelpText, "IncrementalSearch") #def OnPreferences(DrFrame): # pass class IncrementalSearchDlg(wx.Dialog): def __init__ (self, parent, xpos, ypos): wx.Dialog.__init__ (self, parent, -1, "", (xpos, ypos), (340, 28), style=0) wx.StaticText(self, -1, "Incr. Search:", (8, 7)) self.textctrl = wx.TextCtrl(self, -1, pos = (80, 2), size = (220, 22), style = wx.TE_PROCESS_ENTER) self.btnnextfind = wx.Button(self, -1, "->", pos = (310, 2), size = (22,22)) self.Bind(wx.EVT_BUTTON, self.OnbtnNextFind, id = -1) self.textctrl.Bind(wx.EVT_KEY_DOWN, self.OnProcessInput, id = -1) self.parent = parent self.Bind(wx.EVT_TEXT, self.OnProcessText, id = -1) self.bs = False self.findpos = self.parent.txtDocument.GetCurrentPos() self.dir = 0 if not self.PLATFORM_IS_WIN: #on gtk, it needs additional setfocus self.textctrl.SetFocus() def OnbtnNextFind (self, event): self.FindNext() self.textctrl.SetFocus() if event: event.Skip() def OnProcessText(self, event): if not self.bs: self.findpos = self.parent.txtDocument.GetSelectionStart() oldpos = self.findpos self.FindNext() #nothing found: cancel last character if oldpos == self.findpos: self.textctrl.SetValue(self.textctrl.GetValue()[:-1]) self.textctrl.SetInsertionPoint (len (self.textctrl.GetValue())) event.Skip() def FindNext(self): if self.textctrl.GetValue(): if self.dir == 2: self.findpos += 2 self.dir = 1 oldfindpos = self.findpos self.findpos = self.parent.txtDocument.FindText(self.findpos, self.parent.txtDocument.GetLength(), self.textctrl.GetValue(), 0) if self.findpos == -1: self.findpos = oldfindpos else: if self.parent.prefs.docfolding: self.parent.txtDocument.EnsureVisible(self.parent.txtDocument.LineFromPosition(self.findpos)) self.parent.txtDocument.EnsureCaretVisible() self.parent.txtDocument.GotoPos(self.findpos) self.parent.txtDocument.SetSelectionStart(self.findpos) self.parent.txtDocument.SetSelectionEnd(self.findpos + len(self.textctrl.GetValue())) self.findpos += 1 else: self.parent.txtDocument.SetSelection (self.parent.IncrementalSearch_OldCursorPos, self.parent.IncrementalSearch_OldCursorPos) def FindPrevious(self): if self.textctrl.GetValue(): if self.dir == 1: self.findpos -= 2 self.dir = 2 oldfindpos = self.findpos self.findpos = self.parent.txtDocument.FindText(self.findpos, 0, self.textctrl.GetValue(), 0) if self.findpos == -1: self.findpos = oldfindpos else: if self.parent.prefs.docfolding: self.parent.txtDocument.EnsureVisible(self.parent.txtDocument.LineFromPosition(self.findpos)) self.parent.txtDocument.EnsureCaretVisible() self.parent.txtDocument.GotoPos(self.findpos) self.parent.txtDocument.SetSelectionStart(self.findpos) self.parent.txtDocument.SetSelectionEnd(self.findpos + len(self.textctrl.GetValue())) self.findpos -= 1 else: self.parent.txtDocument.SetSelection (self.parent.IncrementalSearch_OldCursorPos, self.parent.IncrementalSearch_OldCursorPos) def OnProcessInput(self, event): key = event.GetKeyCode() shift = event.ShiftDown() alt = event.AltDown() self.bs = False if key == wx.WXK_ESCAPE: self.Destroy() self.parent.txtDocument.SetSelection (self.parent.IncrementalSearch_OldCursorPos, self.parent.IncrementalSearch_OldCursorPos) if key in [wx.WXK_DOWN, wx.WXK_UP, wx.WXK_LEFT, wx.WXK_RIGHT, wx.WXK_NEXT, wx.WXK_PRIOR]: self.Destroy() self.parent.txtDocument.SetSelection (self.parent.txtDocument.GetSelectionStart(), self.parent.txtDocument.GetSelectionStart()) if key == wx.WXK_DOWN: self.parent.txtDocument.CmdKeyExecute(wx.stc.STC_CMD_LINEDOWN) if key == wx.WXK_UP: self.parent.txtDocument.CmdKeyExecute(wx.stc.STC_CMD_LINEUP) if key == wx.WXK_LEFT: self.parent.txtDocument.CmdKeyExecute(wx.stc.STC_CMD_CHARLEFT) if key == wx.WXK_RIGHT: self.parent.txtDocument.CmdKeyExecute(wx.stc.STC_CMD_CHARRIGHT) if key == wx.WXK_NEXT: self.parent.txtDocument.CmdKeyExecute(wx.stc.STC_CMD_PAGEDOWN) if key == wx.WXK_PRIOR: self.parent.txtDocument.CmdKeyExecute(wx.stc.STC_CMD_PAGEUP) if key == wx.WXK_BACK: if len (self.textctrl.GetValue()) > 1: self.bs = True self.findpos = self.parent.IncrementalSearch_OldCursorPos if key == wx.WXK_RETURN: if shift: self.FindPrevious() else: self.OnbtnNextFind(None) if alt: if key == ord ('P'): self.FindPrevious() elif key == ord ('N'): self.OnbtnNextFind (None) event.Skip() def Plugin(DrFrame): def OnIncrementalSearch (event): DrFrame.IncrementalSearch_OldCursorPos = DrFrame.txtDocument.GetCurrentPos() ypos = DrFrame.GetSize()[1] + DrFrame.GetPosition()[1] - 32 xpos = DrFrame.GetPosition()[0] + 150 d = IncrementalSearchDlg(DrFrame, xpos, ypos) d.ShowModal() DrFrame.IncrementalSearch_OldCursorPos = -1 ID_INCREMENTALSEARCH = DrFrame.GetNewId() DrFrame.Bind(wx.EVT_MENU, OnIncrementalSearch, id = ID_INCREMENTALSEARCH) DrFrame.AddPluginShortcutFunction("IncrementalSearch", "Incremental Search", OnIncrementalSearch) DrFrame.AddPluginPopUpMenuFunction("IncrementalSearch", "Incremental Search", OnIncrementalSearch) DrFrame.LoadPluginShortcuts('IncrementalSearch') DrFrame.searchmenu.AppendSeparator() DrFrame.searchmenu.Append(ID_INCREMENTALSEARCH, DrFrame.GetPluginMenuLabel('IncrementalSearch', 'Incremental Search', 'Incremental Search...'))