2016-05-17 20:58:02 -03:00
|
|
|
"""Replace dialog for IDLE. Inherits SearchDialogBase for GUI.
|
2019-03-16 20:29:33 -03:00
|
|
|
Uses idlelib.searchengine.SearchEngine for search capability.
|
2016-05-17 20:58:02 -03:00
|
|
|
Defines various replace related functions like replace, replace all,
|
2019-03-16 20:29:33 -03:00
|
|
|
and replace+find.
|
2016-05-17 20:58:02 -03:00
|
|
|
"""
|
2016-08-31 01:50:55 -03:00
|
|
|
import re
|
|
|
|
|
2016-07-10 21:21:31 -03: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 01:05:57 -03:00
|
|
|
|
2016-05-28 14:22:31 -03:00
|
|
|
from idlelib.searchbase import SearchDialogBase
|
2016-08-31 01:50:55 -03:00
|
|
|
from idlelib import searchengine
|
2000-08-14 22:13:23 -03:00
|
|
|
|
2019-03-16 20:29:33 -03:00
|
|
|
|
2021-04-28 19:27:55 -03:00
|
|
|
def replace(text, insert_tags=None):
|
2019-03-16 20:29:33 -03: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-14 22:13:23 -03:00
|
|
|
root = text._root()
|
2016-05-28 14:22:31 -03:00
|
|
|
engine = searchengine.get(root)
|
2000-08-14 22:13:23 -03:00
|
|
|
if not hasattr(engine, "_replacedialog"):
|
|
|
|
engine._replacedialog = ReplaceDialog(root, engine)
|
|
|
|
dialog = engine._replacedialog
|
2023-12-27 10:27:40 -04:00
|
|
|
searchphrase = text.get("sel.first", "sel.last")
|
|
|
|
dialog.open(text, searchphrase, insert_tags=insert_tags)
|
2000-08-14 22:13:23 -03:00
|
|
|
|
2012-08-04 15:38:22 -03:00
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
class ReplaceDialog(SearchDialogBase):
|
2019-03-16 20:29:33 -03:00
|
|
|
"Dialog for finding and replacing a pattern in text."
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
title = "Replace Dialog"
|
|
|
|
icon = "Replace"
|
|
|
|
|
|
|
|
def __init__(self, root, engine):
|
2019-03-16 20:29:33 -03: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-14 22:13:23 -03:00
|
|
|
self.replvar = StringVar(root)
|
2021-04-28 19:27:55 -03:00
|
|
|
self.insert_tags = None
|
2000-08-14 22:13:23 -03:00
|
|
|
|
2023-12-27 10:27:40 -04:00
|
|
|
def open(self, text, searchphrase=None, *, insert_tags=None):
|
2019-03-16 20:29:33 -03:00
|
|
|
"""Make dialog visible on top of others and ready to use.
|
|
|
|
|
2023-12-27 10:27:40 -04:00
|
|
|
Also, set the search to include the current selection
|
|
|
|
(self.ok).
|
2019-03-16 20:29:33 -03:00
|
|
|
|
|
|
|
Args:
|
|
|
|
text: Text widget being searched.
|
2023-12-27 10:27:40 -04:00
|
|
|
searchphrase: String phrase to search.
|
2019-03-16 20:29:33 -03:00
|
|
|
"""
|
2023-12-27 10:27:40 -04:00
|
|
|
SearchDialogBase.open(self, text, searchphrase)
|
2019-03-16 20:29:33 -03:00
|
|
|
self.ok = True
|
2021-04-28 19:27:55 -03:00
|
|
|
self.insert_tags = insert_tags
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def create_entries(self):
|
2019-03-16 20:29:33 -03:00
|
|
|
"Create base and additional label and text entry widgets."
|
2000-08-14 22:13:23 -03:00
|
|
|
SearchDialogBase.create_entries(self)
|
2014-07-13 18:27:26 -03:00
|
|
|
self.replent = self.make_entry("Replace with:", self.replvar)[0]
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def create_command_buttons(self):
|
2019-03-16 20:29:33 -03:00
|
|
|
"""Create base and additional command buttons.
|
|
|
|
|
|
|
|
The additional buttons are for Find, Replace,
|
|
|
|
Replace+Find, and Replace All.
|
|
|
|
"""
|
2000-08-14 22:13:23 -03:00
|
|
|
SearchDialogBase.create_command_buttons(self)
|
|
|
|
self.make_button("Find", self.find_it)
|
|
|
|
self.make_button("Replace", self.replace_it)
|
2019-03-16 20:29:33 -03:00
|
|
|
self.make_button("Replace+Find", self.default_command, isdef=True)
|
2000-08-14 22:13:23 -03:00
|
|
|
self.make_button("Replace All", self.replace_all)
|
|
|
|
|
|
|
|
def find_it(self, event=None):
|
2019-03-16 20:29:33 -03:00
|
|
|
"Handle the Find button."
|
|
|
|
self.do_find(False)
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def replace_it(self, event=None):
|
2019-03-16 20:29:33 -03:00
|
|
|
"""Handle the Replace button.
|
|
|
|
|
|
|
|
If the find is successful, then perform replace.
|
|
|
|
"""
|
2000-08-14 22:13:23 -03:00
|
|
|
if self.do_find(self.ok):
|
|
|
|
self.do_replace()
|
|
|
|
|
|
|
|
def default_command(self, event=None):
|
2019-03-16 20:29:33 -03: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-14 22:13:23 -03:00
|
|
|
if self.do_find(self.ok):
|
2016-05-17 20:58:02 -03:00
|
|
|
if self.do_replace(): # Only find next match if replace succeeded.
|
|
|
|
# A bad re can cause it to fail.
|
2019-03-16 20:29:33 -03:00
|
|
|
self.do_find(False)
|
2012-08-04 15:38:22 -03:00
|
|
|
|
|
|
|
def _replace_expand(self, m, repl):
|
2019-03-16 20:29:33 -03:00
|
|
|
"Expand replacement text if regular expression."
|
2012-08-04 15:38:22 -03:00
|
|
|
if self.engine.isre():
|
|
|
|
try:
|
|
|
|
new = m.expand(repl)
|
2023-12-11 16:45:08 -04:00
|
|
|
except re.PatternError:
|
2012-08-04 15:38:22 -03:00
|
|
|
self.engine.report_error(repl, 'Invalid Replace Expression')
|
|
|
|
new = None
|
|
|
|
else:
|
|
|
|
new = repl
|
|
|
|
|
|
|
|
return new
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def replace_all(self, event=None):
|
2019-03-16 20:29:33 -03: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-14 22:13:23 -03: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-11 00:44:54 -03:00
|
|
|
self.bell()
|
2000-08-14 22:13:23 -03: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 20:29:33 -03:00
|
|
|
ok = True
|
2000-08-14 22:13:23 -03:00
|
|
|
first = last = None
|
|
|
|
# XXX ought to replace circular instead of top-to-bottom when wrapping
|
|
|
|
text.undo_block_start()
|
2022-02-03 15:44:35 -04:00
|
|
|
while res := self.engine.search_forward(
|
|
|
|
text, prog, line, col, wrap=False, ok=ok):
|
2000-08-14 22:13:23 -03:00
|
|
|
line, m = res
|
|
|
|
chars = text.get("%d.0" % line, "%d.0" % (line+1))
|
|
|
|
orig = m.group()
|
2012-08-04 15:38:22 -03:00
|
|
|
new = self._replace_expand(m, repl)
|
|
|
|
if new is None:
|
|
|
|
break
|
2000-08-14 22:13:23 -03: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:
|
2021-04-28 19:27:55 -03:00
|
|
|
text.insert(first, new, self.insert_tags)
|
2000-08-14 22:13:23 -03:00
|
|
|
col = i + len(new)
|
2019-03-16 20:29:33 -03:00
|
|
|
ok = False
|
2000-08-14 22:13:23 -03:00
|
|
|
text.undo_block_stop()
|
|
|
|
if first and last:
|
|
|
|
self.show_hit(first, last)
|
2013-04-03 23:35:12 -03:00
|
|
|
self.close()
|
2000-08-14 22:13:23 -03:00
|
|
|
|
2019-03-16 20:29:33 -03: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-14 22:13:23 -03:00
|
|
|
if not self.engine.getprog():
|
2002-09-17 23:56:10 -03:00
|
|
|
return False
|
2000-08-14 22:13:23 -03:00
|
|
|
text = self.text
|
|
|
|
res = self.engine.search_text(text, None, ok)
|
|
|
|
if not res:
|
2016-08-11 00:44:54 -03:00
|
|
|
self.bell()
|
2002-09-17 23:56:10 -03:00
|
|
|
return False
|
2000-08-14 22:13:23 -03: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 20:29:33 -03:00
|
|
|
self.ok = True
|
2002-09-17 23:56:10 -03:00
|
|
|
return True
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def do_replace(self):
|
2019-03-16 20:29:33 -03:00
|
|
|
"Replace search pattern in text with replacement value."
|
2000-08-14 22:13:23 -03:00
|
|
|
prog = self.engine.getprog()
|
|
|
|
if not prog:
|
2002-09-17 23:56:10 -03:00
|
|
|
return False
|
2000-08-14 22:13:23 -03: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 14:22:31 -03:00
|
|
|
line, col = searchengine.get_line_col(pos)
|
2000-08-14 22:13:23 -03:00
|
|
|
chars = text.get("%d.0" % line, "%d.0" % (line+1))
|
|
|
|
m = prog.match(chars, col)
|
|
|
|
if not prog:
|
2002-09-17 23:56:10 -03:00
|
|
|
return False
|
2012-08-04 15:38:22 -03:00
|
|
|
new = self._replace_expand(m, self.replvar.get())
|
|
|
|
if new is None:
|
|
|
|
return False
|
2000-08-14 22:13:23 -03:00
|
|
|
text.mark_set("insert", first)
|
|
|
|
text.undo_block_start()
|
|
|
|
if m.group():
|
|
|
|
text.delete(first, last)
|
|
|
|
if new:
|
2021-04-28 19:27:55 -03:00
|
|
|
text.insert(first, new, self.insert_tags)
|
2000-08-14 22:13:23 -03:00
|
|
|
text.undo_block_stop()
|
|
|
|
self.show_hit(first, text.index("insert"))
|
2019-03-16 20:29:33 -03:00
|
|
|
self.ok = False
|
2002-09-17 23:56:10 -03:00
|
|
|
return True
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def show_hit(self, first, last):
|
2019-03-16 20:29:33 -03: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-14 22:13:23 -03: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 20:29:33 -03:00
|
|
|
"Close the dialog and remove hit tags."
|
2000-08-14 22:13:23 -03:00
|
|
|
SearchDialogBase.close(self, event)
|
|
|
|
self.text.tag_remove("hit", "1.0", "end")
|
2021-04-28 19:27:55 -03:00
|
|
|
self.insert_tags = None
|
2014-05-27 04:30:54 -03:00
|
|
|
|
2016-05-17 20:58:02 -03:00
|
|
|
|
|
|
|
def _replace_dialog(parent): # htest #
|
2016-08-11 00:44:54 -03:00
|
|
|
from tkinter import Toplevel, Text, END, SEL
|
2019-01-02 23:04:06 -04:00
|
|
|
from tkinter.ttk import Frame, Button
|
2016-07-10 21:21:31 -03:00
|
|
|
|
2019-01-02 23:04:06 -04:00
|
|
|
top = Toplevel(parent)
|
|
|
|
top.title("Test ReplaceDialog")
|
2016-07-10 18:28:10 -03:00
|
|
|
x, y = map(int, parent.geometry().split('+')[1:])
|
2019-01-02 23:04:06 -04:00
|
|
|
top.geometry("+%d+%d" % (x, y + 175))
|
2014-05-27 04:30:54 -03:00
|
|
|
|
|
|
|
# mock undo delegator methods
|
|
|
|
def undo_block_start():
|
|
|
|
pass
|
|
|
|
|
|
|
|
def undo_block_stop():
|
|
|
|
pass
|
|
|
|
|
2019-01-02 23:04:06 -04:00
|
|
|
frame = Frame(top)
|
|
|
|
frame.pack()
|
|
|
|
text = Text(frame, inactiveselectbackground='gray')
|
2014-05-27 04:30:54 -03:00
|
|
|
text.undo_block_start = undo_block_start
|
|
|
|
text.undo_block_stop = undo_block_stop
|
|
|
|
text.pack()
|
2016-05-17 20:58:02 -03:00
|
|
|
text.insert("insert","This is a sample sTring\nPlus MORE.")
|
|
|
|
text.focus_set()
|
2014-05-27 04:30:54 -03:00
|
|
|
|
|
|
|
def show_replace():
|
|
|
|
text.tag_add(SEL, "1.0", END)
|
|
|
|
replace(text)
|
|
|
|
text.tag_remove(SEL, "1.0", END)
|
|
|
|
|
2019-01-02 23:04:06 -04:00
|
|
|
button = Button(frame, text="Replace", command=show_replace)
|
2014-05-27 04:30:54 -03:00
|
|
|
button.pack()
|
|
|
|
|
2023-12-04 02:36:40 -04:00
|
|
|
|
2014-05-27 04:30:54 -03:00
|
|
|
if __name__ == '__main__':
|
2018-06-18 05:47:59 -03:00
|
|
|
from unittest import main
|
|
|
|
main('idlelib.idle_test.test_replace', verbosity=2, exit=False)
|
2016-05-17 20:58:02 -03:00
|
|
|
|
2014-05-27 04:30:54 -03:00
|
|
|
from idlelib.idle_test.htest import run
|
|
|
|
run(_replace_dialog)
|