Mercurial > cpython-lru_cache-weakref

annotate Tools/scripts/redemo.py @ 80661:94de77bd0b4b 2.7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Issue #16194: document imp.load_dynamic problems when read several extension modules from the same binary object file.
author Andrew Svetlov <andrew.svetlov@gmail.com>
date Thu, 29 Nov 2012 19:51:28 +0200
parents 7fb0abf928e0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
71588
7fb0abf928e0 Fix missing or shebangs and executable bits for scripts (#10318)
Éric Araujo <merwok@netwok.org>
parents: 31515
diff changeset
1 #!/usr/bin/env python
15054
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
2 """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
3
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
4 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
5 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
6
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
7 class ReDemo:
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
8
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
9 def __init__(self, master):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
10 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
11
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
12 self.promptdisplay = Label(self.master, anchor=W,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
13 text="Enter a Perl-style regular expression:")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
14 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
15
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
16 self.regexdisplay = Entry(self.master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
17 self.regexdisplay.pack(fill=X)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
18 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
19
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
20 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
21
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
22 self.statusdisplay = Label(self.master, text="", anchor=W)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
23 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
24
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
25 self.labeldisplay = Label(self.master, anchor=W,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
26 text="Enter a string to search:")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
27 self.labeldisplay.pack(fill=X)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
28 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
29
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
30 self.showframe = Frame(master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
31 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
32
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
33 self.showvar = StringVar(master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
34 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
35
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
36 self.showfirstradio = Radiobutton(self.showframe,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
37 text="Highlight first match",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
38 variable=self.showvar,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
39 value="first",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
40 command=self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
41 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
42
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
43 self.showallradio = Radiobutton(self.showframe,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
44 text="Highlight all matches",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
45 variable=self.showvar,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
46 value="all",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
47 command=self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
48 self.showallradio.pack(side=LEFT)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
49
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
50 self.stringdisplay = Text(self.master, width=60, height=4)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
51 self.stringdisplay.pack(fill=BOTH, expand=1)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
52 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
53
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
54 self.grouplabel = Label(self.master, text="Groups:", anchor=W)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
55 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
56
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
57 self.grouplist = Listbox(self.master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
58 self.grouplist.pack(expand=1, fill=BOTH)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
59
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
60 self.regexdisplay.bind('<Key>', self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
61 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
62
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
63 self.compiled = None
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
64 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
65
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
66 btags = self.regexdisplay.bindtags()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
67 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
68
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
69 btags = self.stringdisplay.bindtags()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
70 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
71
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
72 def addoptions(self):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
73 self.frames = []
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
74 self.boxes = []
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
75 self.vars = []
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
76 for name in ('IGNORECASE',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
77 'LOCALE',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
78 'MULTILINE',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
79 'DOTALL',
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
80 'VERBOSE'):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
81 if len(self.boxes) % 3 == 0:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
82 frame = Frame(self.master)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
83 frame.pack(fill=X)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
84 self.frames.append(frame)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
85 val = getattr(re, name)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
86 var = IntVar()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
87 box = Checkbutton(frame,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
88 variable=var, text=name,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
89 offvalue=0, onvalue=val,
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
90 command=self.recompile)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
91 box.pack(side=LEFT)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
92 self.boxes.append(box)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
93 self.vars.append(var)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
94
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
95 def getflags(self):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
96 flags = 0
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
97 for var in self.vars:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
98 flags = flags | var.get()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
99 flags = flags
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
100 return flags
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
101
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
102 def recompile(self, event=None):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
103 try:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
104 self.compiled = re.compile(self.regexdisplay.get(),
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
105 self.getflags())
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
106 bg = self.promptdisplay['background']
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
107 self.statusdisplay.config(text="", background=bg)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
108 except re.error, msg:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
109 self.compiled = None
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
110 self.statusdisplay.config(
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
111 text="re.error: %s" % str(msg),
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
112 background="red")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
113 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
114
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
115 def reevaluate(self, event=None):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
116 try:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
117 self.stringdisplay.tag_remove("hit", "1.0", END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
118 except TclError:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
119 pass
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
120 try:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
121 self.stringdisplay.tag_remove("hit0", "1.0", END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
122 except TclError:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
123 pass
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
124 self.grouplist.delete(0, END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
125 if not self.compiled:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
126 return
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
127 self.stringdisplay.tag_configure("hit", background="yellow")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
128 self.stringdisplay.tag_configure("hit0", background="orange")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
129 text = self.stringdisplay.get("1.0", END)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
130 last = 0
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
131 nmatches = 0
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
132 while last <= len(text):
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
133 m = self.compiled.search(text, last)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
134 if m is None:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
135 break
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
136 first, last = m.span()
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
137 if last == first:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
138 last = first+1
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
139 tag = "hit0"
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
140 else:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
141 tag = "hit"
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
142 pfirst = "1.0 + %d chars" % first
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
143 plast = "1.0 + %d chars" % last
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
144 self.stringdisplay.tag_add(tag, pfirst, plast)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
145 if nmatches == 0:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
146 self.stringdisplay.yview_pickplace(pfirst)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
147 groups = list(m.groups())
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
148 groups.insert(0, m.group())
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
149 for i in range(len(groups)):
31515
71a294bd7950 Replace backticks with repr() or "%r"
Walter Dörwald <walter@livinglogic.de>
parents: 15930
diff changeset
150 g = "%2d: %r" % (i, groups[i])
15930
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
151 self.grouplist.insert(END, g)
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
152 nmatches = nmatches + 1
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
153 if self.showvar.get() == "first":
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
154 break
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
155
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
156 if nmatches == 0:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
157 self.statusdisplay.config(text="(no match)",
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
158 background="yellow")
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
159 else:
14a27acc755a Whitespace normalization.
Tim Peters <tim.peters@gmail.com>
parents: 15054
diff changeset
160 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
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
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
163 # 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
164
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
165 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
166 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
167 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
168 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
169 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
170
08e6f1019171 I'm moving redemo.py here from Demo/tkinter/guido, since it is
Guido van Rossum <guido@python.org>
parents:
diff changeset
171 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
172 main()