Mercurial > cpython-lru_cache-weakref

annotate Tools/scripts/redemo.py @ 56121:ea697cde6882 3.1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merged revisions 74881-74885,74888,74891-74895,74900,74905-74906,74931-74932,74934,74941-74942,74944,74956 via svnmerge from svn+ssh://pythondev@svn.python.org/python/branches/py3k ........ r74881 | r.david.murray | 2009-09-17 15:12:49 -0400 (Thu, 17 Sep 2009) | 2 lines Check in first draft of maintainers.rst. ........ r74882 | eric.smith | 2009-09-17 15:22:30 -0400 (Thu, 17 Sep 2009) | 1 line Typo. ........ r74883 | mark.dickinson | 2009-09-17 15:37:28 -0400 (Thu, 17 Sep 2009) | 1 line Add some more module maintainers. ........ r74884 | mark.dickinson | 2009-09-17 15:39:12 -0400 (Thu, 17 Sep 2009) | 1 line Revert accidental changes to Objects/longobject.c ........ r74885 | mark.dickinson | 2009-09-17 16:20:01 -0400 (Thu, 17 Sep 2009) | 1 line Add decimal maintainers ........ r74888 | r.david.murray | 2009-09-17 18:10:48 -0400 (Thu, 17 Sep 2009) | 2 lines Maintainer additions from MAL. ........ r74891 | georg.brandl | 2009-09-17 18:18:01 -0400 (Thu, 17 Sep 2009) | 1 line Some more maintainers. ........ r74892 | r.david.murray | 2009-09-17 19:23:56 -0400 (Thu, 17 Sep 2009) | 2 lines Add a couple interest areas for Nick per his request. ........ r74893 | r.david.murray | 2009-09-17 19:43:20 -0400 (Thu, 17 Sep 2009) | 2 lines Benajmin is also compiler-knowledgeable. ........ r74894 | alexandre.vassalotti | 2009-09-17 20:59:05 -0400 (Thu, 17 Sep 2009) | 2 lines Added myself to my areas of interest. ........ r74895 | brett.cannon | 2009-09-17 21:03:35 -0400 (Thu, 17 Sep 2009) | 1 line Add myself to a couple places as maintainer. ........ r74900 | georg.brandl | 2009-09-18 05:06:37 -0400 (Fri, 18 Sep 2009) | 1 line Add myself in interest areas. ........ r74905 | ezio.melotti | 2009-09-18 05:58:43 -0400 (Fri, 18 Sep 2009) | 1 line Add myself in interest areas and mark effbot as inactive in winsound ........ r74906 | antoine.pitrou | 2009-09-18 09:15:23 -0400 (Fri, 18 Sep 2009) | 3 lines Add myself in a couple of places ........ r74931 | r.david.murray | 2009-09-18 17:25:36 -0400 (Fri, 18 Sep 2009) | 5 lines Add some names gleaned from the "Tracker Archeology" thread on python-dev from back in February. Also consolidate the autoconf and makefiles topics into one, and add tracker and svn/hg topics. ........ r74932 | r.david.murray | 2009-09-18 17:32:16 -0400 (Fri, 18 Sep 2009) | 2 lines Remove non-committer mistakenly added. ........ r74934 | r.david.murray | 2009-09-18 17:40:30 -0400 (Fri, 18 Sep 2009) | 2 lines More descriptive/generic name for the svn/hg entry (version control) ........ r74941 | benjamin.peterson | 2009-09-18 18:45:59 -0400 (Fri, 18 Sep 2009) | 1 line add a new category for myself ........ r74942 | benjamin.peterson | 2009-09-18 18:50:55 -0400 (Fri, 18 Sep 2009) | 1 line add myself for symtable ........ r74944 | georg.brandl | 2009-09-19 03:39:05 -0400 (Sat, 19 Sep 2009) | 1 line I would like to maintain the token module! ........ r74956 | r.david.murray | 2009-09-19 14:40:08 -0400 (Sat, 19 Sep 2009) | 3 lines Add everyone who we know has been a release manager as a resource for the 'release management' topic. ........
author R. David Murray <rdmurray@bitdance.com>
date Sat, 19 Sep 2009 19:04:37 +0000
parents 6b18a095c2e7
children 979eb1bbf6e6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
1 """Basic regular expression demostration facility (Perl style syntax)."""
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
2
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
3 from Tkinter import *
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
4 import re
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
5
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
6 class ReDemo:
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
7
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
8 def __init__(self, master):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
9 self.master = master
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
10
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
11 self.promptdisplay = Label(self.master, anchor=W,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
12 text="Enter a Perl-style regular expression:")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
13 self.promptdisplay.pack(side=TOP, fill=X)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
14
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
15 self.regexdisplay = Entry(self.master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
16 self.regexdisplay.pack(fill=X)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
17 self.regexdisplay.focus_set()
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
18
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
19 self.addoptions()
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
20
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
21 self.statusdisplay = Label(self.master, text="", anchor=W)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
22 self.statusdisplay.pack(side=TOP, fill=X)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
23
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
24 self.labeldisplay = Label(self.master, anchor=W,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
25 text="Enter a string to search:")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
26 self.labeldisplay.pack(fill=X)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
27 self.labeldisplay.pack(fill=X)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
28
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
29 self.showframe = Frame(master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
30 self.showframe.pack(fill=X, anchor=W)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
31
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
32 self.showvar = StringVar(master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
33 self.showvar.set("first")
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
34
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
35 self.showfirstradio = Radiobutton(self.showframe,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
36 text="Highlight first match",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
37 variable=self.showvar,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
38 value="first",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
39 command=self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
40 self.showfirstradio.pack(side=LEFT)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
41
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
42 self.showallradio = Radiobutton(self.showframe,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
43 text="Highlight all matches",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
44 variable=self.showvar,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
45 value="all",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
46 command=self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
47 self.showallradio.pack(side=LEFT)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
48
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
49 self.stringdisplay = Text(self.master, width=60, height=4)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
50 self.stringdisplay.pack(fill=BOTH, expand=1)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
51 self.stringdisplay.tag_configure("hit", background="yellow")
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
52
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
53 self.grouplabel = Label(self.master, text="Groups:", anchor=W)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
54 self.grouplabel.pack(fill=X)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
55
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
56 self.grouplist = Listbox(self.master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
57 self.grouplist.pack(expand=1, fill=BOTH)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
58
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
59 self.regexdisplay.bind('<Key>', self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
60 self.stringdisplay.bind('<Key>', self.reevaluate)
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
61
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
62 self.compiled = None
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
63 self.recompile()
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
64
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
65 btags = self.regexdisplay.bindtags()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
66 self.regexdisplay.bindtags(btags[1:] + btags[:1])
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
67
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
68 btags = self.stringdisplay.bindtags()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
69 self.stringdisplay.bindtags(btags[1:] + btags[:1])
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
70
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
71 def addoptions(self):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
72 self.frames = []
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
73 self.boxes = []
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
74 self.vars = []
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
75 for name in ('IGNORECASE',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
76 'LOCALE',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
77 'MULTILINE',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
78 'DOTALL',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
79 'VERBOSE'):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
80 if len(self.boxes) % 3 == 0:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
81 frame = Frame(self.master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
82 frame.pack(fill=X)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
83 self.frames.append(frame)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
84 val = getattr(re, name)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
85 var = IntVar()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
86 box = Checkbutton(frame,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
87 variable=var, text=name,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
88 offvalue=0, onvalue=val,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
89 command=self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
90 box.pack(side=LEFT)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
91 self.boxes.append(box)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
92 self.vars.append(var)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
93
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
94 def getflags(self):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
95 flags = 0
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
96 for var in self.vars:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
97 flags = flags | var.get()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
98 flags = flags
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
99 return flags
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
100
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
101 def recompile(self, event=None):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
102 try:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
103 self.compiled = re.compile(self.regexdisplay.get(),
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
104 self.getflags())
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
105 bg = self.promptdisplay['background']
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
106 self.statusdisplay.config(text="", background=bg)
40587
6b18a095c2e7 SF patch 1631942 by Collin Winter:
Guido van Rossum <guido@python.org>
parents: 31515
diff changeset
107 except re.error as msg:
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
108 self.compiled = None
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
109 self.statusdisplay.config(
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
110 text="re.error: %s" % str(msg),
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
111 background="red")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
112 self.reevaluate()
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
113
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
114 def reevaluate(self, event=None):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
115 try:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
116 self.stringdisplay.tag_remove("hit", "1.0", END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
117 except TclError:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
118 pass
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
119 try:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
120 self.stringdisplay.tag_remove("hit0", "1.0", END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
121 except TclError:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
122 pass
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
123 self.grouplist.delete(0, END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
124 if not self.compiled:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
125 return
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
126 self.stringdisplay.tag_configure("hit", background="yellow")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
127 self.stringdisplay.tag_configure("hit0", background="orange")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
128 text = self.stringdisplay.get("1.0", END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
129 last = 0
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
130 nmatches = 0
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
131 while last <= len(text):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
132 m = self.compiled.search(text, last)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
133 if m is None:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
134 break
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
135 first, last = m.span()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
136 if last == first:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
137 last = first+1
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
138 tag = "hit0"
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
139 else:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
140 tag = "hit"
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
141 pfirst = "1.0 + %d chars" % first
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
142 plast = "1.0 + %d chars" % last
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
143 self.stringdisplay.tag_add(tag, pfirst, plast)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
144 if nmatches == 0:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
145 self.stringdisplay.yview_pickplace(pfirst)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
146 groups = list(m.groups())
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
147 groups.insert(0, m.group())
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
148 for i in range(len(groups)):
31515
71a294bd7950 Replace backticks with repr() or "%r"
Walter Dörwald <walter@livinglogic.de>
parents: 15930
diff changeset
149 g = "%2d: %r" % (i, groups[i])
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
150 self.grouplist.insert(END, g)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
151 nmatches = nmatches + 1
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
152 if self.showvar.get() == "first":
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
153 break
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
154
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
155 if nmatches == 0:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
156 self.statusdisplay.config(text="(no match)",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
157 background="yellow")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
158 else:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
159 self.statusdisplay.config(text="")
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
160
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
161
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
162 # Main function, run when invoked as a stand-alone Python program.
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
163
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
164 def main():
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
165 root = Tk()
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
166 demo = ReDemo(root)
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
167 root.protocol('WM_DELETE_WINDOW', root.quit)
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
168 root.mainloop()
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
169
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
170 if __name__ == '__main__':
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
171 main()