| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  | """Replace dialog for IDLE. Inherits SearchDialogBase for GUI.
 | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  | Uses idlelib.searchengine.SearchEngine for search capability. | 
					
						
							| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  | Defines various replace related functions like replace, replace all, | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  | and replace+find. | 
					
						
							| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  | """
 | 
					
						
							| 
									
										
										
										
											2016-08-31 00:50:55 -04:00
										 |  |  | import re | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-07-10 20:21:31 -04:00
										 |  |  | from tkinter import StringVar, TclError | 
					
						
							| 
									
										
											  
											
												Merged revisions 56443-56466 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/branches/p3yk
................
  r56454 | kurt.kaiser | 2007-07-18 22:26:14 -0700 (Wed, 18 Jul 2007) | 2 lines
  Make relative imports explicit for py3k
................
  r56455 | kurt.kaiser | 2007-07-18 23:12:15 -0700 (Wed, 18 Jul 2007) | 2 lines
  Was modifying dict during iteration.
................
  r56457 | guido.van.rossum | 2007-07-19 07:33:19 -0700 (Thu, 19 Jul 2007) | 2 lines
  Fix failing test.
................
  r56466 | guido.van.rossum | 2007-07-19 20:58:16 -0700 (Thu, 19 Jul 2007) | 35 lines
  Merged revisions 56413-56465 via svnmerge from
  svn+ssh://pythondev@svn.python.org/python/trunk
  ........
    r56439 | georg.brandl | 2007-07-17 23:37:55 -0700 (Tue, 17 Jul 2007) | 2 lines
    Use "Unix" as platform name, not "UNIX".
  ........
    r56441 | guido.van.rossum | 2007-07-18 10:19:14 -0700 (Wed, 18 Jul 2007) | 3 lines
    SF patch# 1755885 by Kurt Kaiser: show location of Unicode escape errors.
    (Slightly tweaked for style and refcounts.)
  ........
    r56444 | kurt.kaiser | 2007-07-18 12:58:42 -0700 (Wed, 18 Jul 2007) | 2 lines
    Fix failing unicode test caused by change to ast.c at r56441
  ........
    r56451 | georg.brandl | 2007-07-18 15:36:53 -0700 (Wed, 18 Jul 2007) | 2 lines
    Add description for wave.setcomptype() values
  ........
    r56456 | walter.doerwald | 2007-07-19 06:04:38 -0700 (Thu, 19 Jul 2007) | 3 lines
    Document that codecs.lookup() returns a CodecInfo object.
    (fixes SF bug #1754453).
  ........
    r56463 | facundo.batista | 2007-07-19 16:57:38 -0700 (Thu, 19 Jul 2007) | 6 lines
    Added a select.select call in the test server loop to make sure the
    socket is ready to be read from before attempting a read (this
    prevents an error 10035 on some Windows platforms). [GSoC - Alan
    McIntyre]
  ........
................
											
										 
											2007-07-20 04:05:57 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-05-28 13:22:31 -04:00
										 |  |  | from idlelib.searchbase import SearchDialogBase | 
					
						
							| 
									
										
										
										
											2016-08-31 00:50:55 -04:00
										 |  |  | from idlelib import searchengine | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | def replace(text): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |     """Create or reuse a singleton ReplaceDialog instance.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     The singleton dialog saves user entries and preferences | 
					
						
							|  |  |  |     across instances. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     Args: | 
					
						
							|  |  |  |         text: Text widget containing the text to be searched. | 
					
						
							|  |  |  |     """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |     root = text._root() | 
					
						
							| 
									
										
										
										
											2016-05-28 13:22:31 -04:00
										 |  |  |     engine = searchengine.get(root) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |     if not hasattr(engine, "_replacedialog"): | 
					
						
							|  |  |  |         engine._replacedialog = ReplaceDialog(root, engine) | 
					
						
							|  |  |  |     dialog = engine._replacedialog | 
					
						
							|  |  |  |     dialog.open(text) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-08-04 21:38:22 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | class ReplaceDialog(SearchDialogBase): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |     "Dialog for finding and replacing a pattern in text." | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     title = "Replace Dialog" | 
					
						
							|  |  |  |     icon = "Replace" | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def __init__(self, root, engine): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Create search dialog for finding and replacing text.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         Uses SearchDialogBase as the basis for the GUI and a | 
					
						
							|  |  |  |         searchengine instance to prepare the search. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         Attributes: | 
					
						
							|  |  |  |             replvar: StringVar containing 'Replace with:' value. | 
					
						
							|  |  |  |             replent: Entry widget for replvar.  Created in | 
					
						
							|  |  |  |                 create_entries(). | 
					
						
							|  |  |  |             ok: Boolean used in searchengine.search_text to indicate | 
					
						
							|  |  |  |                 whether the search includes the selection. | 
					
						
							|  |  |  |         """
 | 
					
						
							|  |  |  |         super().__init__(root, engine) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         self.replvar = StringVar(root) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def open(self, text): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Make dialog visible on top of others and ready to use.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         Also, highlight the currently selected text and set the | 
					
						
							|  |  |  |         search to include the current selection (self.ok). | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         Args: | 
					
						
							|  |  |  |             text: Text widget being searched. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         SearchDialogBase.open(self, text) | 
					
						
							|  |  |  |         try: | 
					
						
							|  |  |  |             first = text.index("sel.first") | 
					
						
							|  |  |  |         except TclError: | 
					
						
							|  |  |  |             first = None | 
					
						
							|  |  |  |         try: | 
					
						
							|  |  |  |             last = text.index("sel.last") | 
					
						
							|  |  |  |         except TclError: | 
					
						
							|  |  |  |             last = None | 
					
						
							|  |  |  |         first = first or text.index("insert") | 
					
						
							|  |  |  |         last = last or first | 
					
						
							|  |  |  |         self.show_hit(first, last) | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         self.ok = True | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def create_entries(self): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         "Create base and additional label and text entry widgets." | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         SearchDialogBase.create_entries(self) | 
					
						
							| 
									
										
										
										
											2014-07-13 17:27:26 -04:00
										 |  |  |         self.replent = self.make_entry("Replace with:", self.replvar)[0] | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def create_command_buttons(self): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Create base and additional command buttons.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         The additional buttons are for Find, Replace, | 
					
						
							|  |  |  |         Replace+Find, and Replace All. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         SearchDialogBase.create_command_buttons(self) | 
					
						
							|  |  |  |         self.make_button("Find", self.find_it) | 
					
						
							|  |  |  |         self.make_button("Replace", self.replace_it) | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         self.make_button("Replace+Find", self.default_command, isdef=True) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         self.make_button("Replace All", self.replace_all) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def find_it(self, event=None): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         "Handle the Find button." | 
					
						
							|  |  |  |         self.do_find(False) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def replace_it(self, event=None): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Handle the Replace button.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         If the find is successful, then perform replace. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if self.do_find(self.ok): | 
					
						
							|  |  |  |             self.do_replace() | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def default_command(self, event=None): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Handle the Replace+Find button as the default command.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         First performs a replace and then, if the replace was | 
					
						
							|  |  |  |         successful, a find next. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if self.do_find(self.ok): | 
					
						
							| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  |             if self.do_replace():  # Only find next match if replace succeeded. | 
					
						
							|  |  |  |                                    # A bad re can cause it to fail. | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |                 self.do_find(False) | 
					
						
							| 
									
										
										
										
											2012-08-04 21:38:22 +03:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def _replace_expand(self, m, repl): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         "Expand replacement text if regular expression." | 
					
						
							| 
									
										
										
										
											2012-08-04 21:38:22 +03:00
										 |  |  |         if self.engine.isre(): | 
					
						
							|  |  |  |             try: | 
					
						
							|  |  |  |                 new = m.expand(repl) | 
					
						
							|  |  |  |             except re.error: | 
					
						
							|  |  |  |                 self.engine.report_error(repl, 'Invalid Replace Expression') | 
					
						
							|  |  |  |                 new = None | 
					
						
							|  |  |  |         else: | 
					
						
							|  |  |  |             new = repl | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         return new | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def replace_all(self, event=None): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Handle the Replace All button.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         Search text for occurrences of the Find value and replace | 
					
						
							|  |  |  |         each of them.  The 'wrap around' value controls the start | 
					
						
							|  |  |  |         point for searching.  If wrap isn't set, then the searching | 
					
						
							|  |  |  |         starts at the first occurrence after the current selection; | 
					
						
							|  |  |  |         if wrap is set, the replacement starts at the first line. | 
					
						
							|  |  |  |         The replacement is always done top-to-bottom in the text. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         prog = self.engine.getprog() | 
					
						
							|  |  |  |         if not prog: | 
					
						
							|  |  |  |             return | 
					
						
							|  |  |  |         repl = self.replvar.get() | 
					
						
							|  |  |  |         text = self.text | 
					
						
							|  |  |  |         res = self.engine.search_text(text, prog) | 
					
						
							|  |  |  |         if not res: | 
					
						
							| 
									
										
										
										
											2016-08-10 23:44:54 -04:00
										 |  |  |             self.bell() | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |             return | 
					
						
							|  |  |  |         text.tag_remove("sel", "1.0", "end") | 
					
						
							|  |  |  |         text.tag_remove("hit", "1.0", "end") | 
					
						
							|  |  |  |         line = res[0] | 
					
						
							|  |  |  |         col = res[1].start() | 
					
						
							|  |  |  |         if self.engine.iswrap(): | 
					
						
							|  |  |  |             line = 1 | 
					
						
							|  |  |  |             col = 0 | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         ok = True | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         first = last = None | 
					
						
							|  |  |  |         # XXX ought to replace circular instead of top-to-bottom when wrapping | 
					
						
							|  |  |  |         text.undo_block_start() | 
					
						
							| 
									
										
										
										
											2022-02-02 22:12:38 -05:00
										 |  |  |         while (res := self.engine.search_forward( | 
					
						
							|  |  |  |                 text, prog, line, col, wrap=False, ok=ok)): | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |             line, m = res | 
					
						
							|  |  |  |             chars = text.get("%d.0" % line, "%d.0" % (line+1)) | 
					
						
							|  |  |  |             orig = m.group() | 
					
						
							| 
									
										
										
										
											2012-08-04 21:38:22 +03:00
										 |  |  |             new = self._replace_expand(m, repl) | 
					
						
							|  |  |  |             if new is None: | 
					
						
							|  |  |  |                 break | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |             i, j = m.span() | 
					
						
							|  |  |  |             first = "%d.%d" % (line, i) | 
					
						
							|  |  |  |             last = "%d.%d" % (line, j) | 
					
						
							|  |  |  |             if new == orig: | 
					
						
							|  |  |  |                 text.mark_set("insert", last) | 
					
						
							|  |  |  |             else: | 
					
						
							|  |  |  |                 text.mark_set("insert", first) | 
					
						
							|  |  |  |                 if first != last: | 
					
						
							|  |  |  |                     text.delete(first, last) | 
					
						
							|  |  |  |                 if new: | 
					
						
							|  |  |  |                     text.insert(first, new) | 
					
						
							|  |  |  |             col = i + len(new) | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |             ok = False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         text.undo_block_stop() | 
					
						
							|  |  |  |         if first and last: | 
					
						
							|  |  |  |             self.show_hit(first, last) | 
					
						
							| 
									
										
										
										
											2013-04-03 22:35:12 -04:00
										 |  |  |         self.close() | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |     def do_find(self, ok=False): | 
					
						
							|  |  |  |         """Search for and highlight next occurrence of pattern in text.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         No text replacement is done with this option. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         if not self.engine.getprog(): | 
					
						
							| 
									
										
										
										
											2002-09-18 02:56:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         text = self.text | 
					
						
							|  |  |  |         res = self.engine.search_text(text, None, ok) | 
					
						
							|  |  |  |         if not res: | 
					
						
							| 
									
										
										
										
											2016-08-10 23:44:54 -04:00
										 |  |  |             self.bell() | 
					
						
							| 
									
										
										
										
											2002-09-18 02:56:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         line, m = res | 
					
						
							|  |  |  |         i, j = m.span() | 
					
						
							|  |  |  |         first = "%d.%d" % (line, i) | 
					
						
							|  |  |  |         last = "%d.%d" % (line, j) | 
					
						
							|  |  |  |         self.show_hit(first, last) | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         self.ok = True | 
					
						
							| 
									
										
										
										
											2002-09-18 02:56:10 +00:00
										 |  |  |         return True | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def do_replace(self): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         "Replace search pattern in text with replacement value." | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         prog = self.engine.getprog() | 
					
						
							|  |  |  |         if not prog: | 
					
						
							| 
									
										
										
										
											2002-09-18 02:56:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         text = self.text | 
					
						
							|  |  |  |         try: | 
					
						
							|  |  |  |             first = pos = text.index("sel.first") | 
					
						
							|  |  |  |             last = text.index("sel.last") | 
					
						
							|  |  |  |         except TclError: | 
					
						
							|  |  |  |             pos = None | 
					
						
							|  |  |  |         if not pos: | 
					
						
							|  |  |  |             first = last = pos = text.index("insert") | 
					
						
							| 
									
										
										
										
											2016-05-28 13:22:31 -04:00
										 |  |  |         line, col = searchengine.get_line_col(pos) | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         chars = text.get("%d.0" % line, "%d.0" % (line+1)) | 
					
						
							|  |  |  |         m = prog.match(chars, col) | 
					
						
							|  |  |  |         if not prog: | 
					
						
							| 
									
										
										
										
											2002-09-18 02:56:10 +00:00
										 |  |  |             return False | 
					
						
							| 
									
										
										
										
											2012-08-04 21:38:22 +03:00
										 |  |  |         new = self._replace_expand(m, self.replvar.get()) | 
					
						
							|  |  |  |         if new is None: | 
					
						
							|  |  |  |             return False | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         text.mark_set("insert", first) | 
					
						
							|  |  |  |         text.undo_block_start() | 
					
						
							|  |  |  |         if m.group(): | 
					
						
							|  |  |  |             text.delete(first, last) | 
					
						
							|  |  |  |         if new: | 
					
						
							|  |  |  |             text.insert(first, new) | 
					
						
							|  |  |  |         text.undo_block_stop() | 
					
						
							|  |  |  |         self.show_hit(first, text.index("insert")) | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         self.ok = False | 
					
						
							| 
									
										
										
										
											2002-09-18 02:56:10 +00:00
										 |  |  |         return True | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def show_hit(self, first, last): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         """Highlight text between first and last indices.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         Text is highlighted via the 'hit' tag and the marked | 
					
						
							|  |  |  |         section is brought into view. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         The colors from the 'hit' tag aren't currently shown | 
					
						
							|  |  |  |         when the text is displayed.  This is due to the 'sel' | 
					
						
							|  |  |  |         tag being added first, so the colors in the 'sel' | 
					
						
							|  |  |  |         config are seen instead of the colors for 'hit'. | 
					
						
							|  |  |  |         """
 | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         text = self.text | 
					
						
							|  |  |  |         text.mark_set("insert", first) | 
					
						
							|  |  |  |         text.tag_remove("sel", "1.0", "end") | 
					
						
							|  |  |  |         text.tag_add("sel", first, last) | 
					
						
							|  |  |  |         text.tag_remove("hit", "1.0", "end") | 
					
						
							|  |  |  |         if first == last: | 
					
						
							|  |  |  |             text.tag_add("hit", first) | 
					
						
							|  |  |  |         else: | 
					
						
							|  |  |  |             text.tag_add("hit", first, last) | 
					
						
							|  |  |  |         text.see("insert") | 
					
						
							|  |  |  |         text.update_idletasks() | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def close(self, event=None): | 
					
						
							| 
									
										
										
										
											2019-03-16 19:29:33 -04:00
										 |  |  |         "Close the dialog and remove hit tags." | 
					
						
							| 
									
										
										
										
											2000-08-15 01:13:23 +00:00
										 |  |  |         SearchDialogBase.close(self, event) | 
					
						
							|  |  |  |         self.text.tag_remove("hit", "1.0", "end") | 
					
						
							| 
									
										
										
										
											2014-05-27 03:30:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | def _replace_dialog(parent):  # htest # | 
					
						
							| 
									
										
										
										
											2016-08-10 23:44:54 -04:00
										 |  |  |     from tkinter import Toplevel, Text, END, SEL | 
					
						
							| 
									
										
										
										
											2019-01-02 22:04:06 -05:00
										 |  |  |     from tkinter.ttk import Frame, Button | 
					
						
							| 
									
										
										
										
											2016-07-10 20:21:31 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-01-02 22:04:06 -05:00
										 |  |  |     top = Toplevel(parent) | 
					
						
							|  |  |  |     top.title("Test ReplaceDialog") | 
					
						
							| 
									
										
										
										
											2016-07-10 17:28:10 -04:00
										 |  |  |     x, y = map(int, parent.geometry().split('+')[1:]) | 
					
						
							| 
									
										
										
										
											2019-01-02 22:04:06 -05:00
										 |  |  |     top.geometry("+%d+%d" % (x, y + 175)) | 
					
						
							| 
									
										
										
										
											2014-05-27 03:30:54 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |     # mock undo delegator methods | 
					
						
							|  |  |  |     def undo_block_start(): | 
					
						
							|  |  |  |         pass | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def undo_block_stop(): | 
					
						
							|  |  |  |         pass | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-01-02 22:04:06 -05:00
										 |  |  |     frame = Frame(top) | 
					
						
							|  |  |  |     frame.pack() | 
					
						
							|  |  |  |     text = Text(frame, inactiveselectbackground='gray') | 
					
						
							| 
									
										
										
										
											2014-05-27 03:30:54 -04:00
										 |  |  |     text.undo_block_start = undo_block_start | 
					
						
							|  |  |  |     text.undo_block_stop = undo_block_stop | 
					
						
							|  |  |  |     text.pack() | 
					
						
							| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  |     text.insert("insert","This is a sample sTring\nPlus MORE.") | 
					
						
							|  |  |  |     text.focus_set() | 
					
						
							| 
									
										
										
										
											2014-05-27 03:30:54 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def show_replace(): | 
					
						
							|  |  |  |         text.tag_add(SEL, "1.0", END) | 
					
						
							|  |  |  |         replace(text) | 
					
						
							|  |  |  |         text.tag_remove(SEL, "1.0", END) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-01-02 22:04:06 -05:00
										 |  |  |     button = Button(frame, text="Replace", command=show_replace) | 
					
						
							| 
									
										
										
										
											2014-05-27 03:30:54 -04:00
										 |  |  |     button.pack() | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if __name__ == '__main__': | 
					
						
							| 
									
										
										
										
											2018-06-18 04:47:59 -04:00
										 |  |  |     from unittest import main | 
					
						
							|  |  |  |     main('idlelib.idle_test.test_replace', verbosity=2, exit=False) | 
					
						
							| 
									
										
										
										
											2016-05-17 19:58:02 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-05-27 03:30:54 -04:00
										 |  |  |     from idlelib.idle_test.htest import run | 
					
						
							|  |  |  |     run(_replace_dialog) |