cpython/Lib/idlelib/search.py

98 lines
3.1 KiB
Python
Raw Normal View History

2008-05-17 15:39:55 -03:00
from tkinter import *
2000-08-14 22:13:23 -03:00
from idlelib import SearchEngine
from idlelib.SearchDialogBase import SearchDialogBase
2000-08-14 22:13:23 -03:00
def _setup(text):
"Create or find the singleton SearchDialog instance."
2000-08-14 22:13:23 -03:00
root = text._root()
engine = SearchEngine.get(root)
if not hasattr(engine, "_searchdialog"):
engine._searchdialog = SearchDialog(root, engine)
return engine._searchdialog
def find(text):
"Handle the editor edit menu item and corresponding event."
pat = text.get("sel.first", "sel.last")
return _setup(text).open(text, pat) # Open is inherited from SDBase.
2000-08-14 22:13:23 -03:00
def find_again(text):
"Handle the editor edit menu item and corresponding event."
2000-08-14 22:13:23 -03:00
return _setup(text).find_again(text)
def find_selection(text):
"Handle the editor edit menu item and corresponding event."
2000-08-14 22:13:23 -03:00
return _setup(text).find_selection(text)
class SearchDialog(SearchDialogBase):
def create_widgets(self):
SearchDialogBase.create_widgets(self)
self.make_button("Find Next", self.default_command, 1)
2000-08-14 22:13:23 -03:00
def default_command(self, event=None):
if not self.engine.getprog():
return
self.find_again(self.text)
2000-08-14 22:13:23 -03:00
def find_again(self, text):
if not self.engine.getpat():
self.open(text)
return False
2000-08-14 22:13:23 -03:00
if not self.engine.getprog():
return False
2000-08-14 22:13:23 -03:00
res = self.engine.search_text(text)
if res:
line, m = res
i, j = m.span()
first = "%d.%d" % (line, i)
last = "%d.%d" % (line, j)
try:
selfirst = text.index("sel.first")
sellast = text.index("sel.last")
if selfirst == first and sellast == last:
text.bell()
return False
2000-08-14 22:13:23 -03:00
except TclError:
pass
text.tag_remove("sel", "1.0", "end")
text.tag_add("sel", first, last)
text.mark_set("insert", self.engine.isback() and first or last)
text.see("insert")
return True
2000-08-14 22:13:23 -03:00
else:
text.bell()
return False
2000-08-14 22:13:23 -03:00
def find_selection(self, text):
pat = text.get("sel.first", "sel.last")
if pat:
self.engine.setcookedpat(pat)
return self.find_again(text)
def _search_dialog(parent): # htest #
'''Display search test box.'''
box = Toplevel(parent)
box.title("Test SearchDialog")
width, height, x, y = list(map(int, re.split('[x+]', parent.geometry())))
box.geometry("+%d+%d"%(x, y + 150))
text = Text(box, inactiveselectbackground='gray')
text.pack()
text.insert("insert","This is a sample string.\n"*5)
def show_find():
text.tag_add(SEL, "1.0", END)
_setup(text).open(text)
text.tag_remove(SEL, "1.0", END)
button = Button(box, text="Search (selection ignored)", command=show_find)
button.pack()
if __name__ == '__main__':
import unittest
unittest.main('idlelib.idle_test.test_searchdialog',
verbosity=2, exit=False)
from idlelib.idle_test.htest import run
run(_search_dialog)