| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  | from tkinter import * | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-08-22 23:01:33 +00:00
										 |  |  | from idlelib import SearchEngine | 
					
						
							|  |  |  | from idlelib.SearchDialogBase import SearchDialogBase | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def _setup(text): | 
					
						
							|  |  |  |     root = text._root() | 
					
						
							|  |  |  |     engine = SearchEngine.get(root) | 
					
						
							|  |  |  |     if not hasattr(engine, "_searchdialog"): | 
					
						
							|  |  |  |         engine._searchdialog = SearchDialog(root, engine) | 
					
						
							|  |  |  |     return engine._searchdialog | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | def find(text): | 
					
						
							| 
									
										
										
										
											2002-11-06 02:18:45 +00:00
										 |  |  |     pat = text.get("sel.first", "sel.last") | 
					
						
							|  |  |  |     return _setup(text).open(text,pat) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def find_again(text): | 
					
						
							|  |  |  |     return _setup(text).find_again(text) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | def find_selection(text): | 
					
						
							|  |  |  |     return _setup(text).find_selection(text) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class SearchDialog(SearchDialogBase): | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def create_widgets(self): | 
					
						
							|  |  |  |         f = SearchDialogBase.create_widgets(self) | 
					
						
							|  |  |  |         self.make_button("Find", self.default_command, 1) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def default_command(self, event=None): | 
					
						
							|  |  |  |         if not self.engine.getprog(): | 
					
						
							|  |  |  |             return | 
					
						
							|  |  |  |         if self.find_again(self.text): | 
					
						
							|  |  |  |             self.close() | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def find_again(self, text): | 
					
						
							|  |  |  |         if not self.engine.getpat(): | 
					
						
							|  |  |  |             self.open(text) | 
					
						
							| 
									
										
										
										
											2002-09-18 03:10:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if not self.engine.getprog(): | 
					
						
							| 
									
										
										
										
											2002-09-18 03:10:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00: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() | 
					
						
							| 
									
										
										
										
											2002-09-18 03:10:10 +00:00
										 |  |  |                     return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00: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") | 
					
						
							| 
									
										
										
										
											2002-09-18 03:10:10 +00:00
										 |  |  |             return True | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         else: | 
					
						
							|  |  |  |             text.bell() | 
					
						
							| 
									
										
										
										
											2002-09-18 03:10:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def find_selection(self, text): | 
					
						
							|  |  |  |         pat = text.get("sel.first", "sel.last") | 
					
						
							|  |  |  |         if pat: | 
					
						
							|  |  |  |             self.engine.setcookedpat(pat) | 
					
						
							|  |  |  |         return self.find_again(text) |