annotate flax/KeyboardComposer.py @ 136:7e91c49fb2d6

whoops, forgot this one
author dmcc
date Sat, 14 Jun 2003 15:02:38 +0000
parents 2ed9bfd1dd0e
children 304152488ed7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
1 from __future__ import nested_scopes
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
2 import sys, time
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
3 sys.path.append('..')
45b12307c695 Initial revision
drewp
parents:
diff changeset
4 from Widgets.Fadable import Fadable
45b12307c695 Initial revision
drewp
parents:
diff changeset
5
45b12307c695 Initial revision
drewp
parents:
diff changeset
6 from Tix import *
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
7 import math, atexit, pickle
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
8 from Submaster import Submasters, sub_maxes
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
9 import dmxclient
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
10 from uihelpers import toplevelat
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
11
45b12307c695 Initial revision
drewp
parents:
diff changeset
12 nudge_keys = {
45b12307c695 Initial revision
drewp
parents:
diff changeset
13 'up' : list('qwertyuiop'),
45b12307c695 Initial revision
drewp
parents:
diff changeset
14 'down' : list('asdfghjkl')
45b12307c695 Initial revision
drewp
parents:
diff changeset
15 }
45b12307c695 Initial revision
drewp
parents:
diff changeset
16 nudge_keys['down'].append('semicolon')
45b12307c695 Initial revision
drewp
parents:
diff changeset
17
45b12307c695 Initial revision
drewp
parents:
diff changeset
18 class SubScale(Scale, Fadable):
45b12307c695 Initial revision
drewp
parents:
diff changeset
19 def __init__(self, master, *args, **kw):
45b12307c695 Initial revision
drewp
parents:
diff changeset
20 self.scale_var = kw.get('variable') or DoubleVar()
45b12307c695 Initial revision
drewp
parents:
diff changeset
21 kw.update({'variable' : self.scale_var,
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
22 'from' : 1, 'to' : 0, 'showvalue' : 0,
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
23 'sliderlength' : 30, 'res' : 0.01,
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
24 'width' : 50})
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
25 Scale.__init__(self, master, *args, **kw)
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
26 Fadable.__init__(self, var=self.scale_var, wheel_step=0.05)
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
27
45b12307c695 Initial revision
drewp
parents:
diff changeset
28 class SubmasterTk(Frame):
45b12307c695 Initial revision
drewp
parents:
diff changeset
29 def __init__(self, master, name, current_level):
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
30 Frame.__init__(self, master, bd=1, relief='raised')
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
31 self.slider_var = DoubleVar()
45b12307c695 Initial revision
drewp
parents:
diff changeset
32 self.slider_var.set(current_level)
45b12307c695 Initial revision
drewp
parents:
diff changeset
33 self.scale = SubScale(self, variable=self.slider_var, width=20)
111
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
34 textlabel = Label(self, text=name)
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
35 textlabel.pack(side=TOP)
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
36 self.scale.pack(side=BOTTOM, expand=1, fill=BOTH)
45b12307c695 Initial revision
drewp
parents:
diff changeset
37
45b12307c695 Initial revision
drewp
parents:
diff changeset
38 class KeyboardComposer(Frame):
111
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
39 def __init__(self, root, submasters, current_sub_levels=None):
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
40 Frame.__init__(self, root)
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
41 self.submasters = submasters
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
42 self.current_sub_levels = {}
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
43 if current_sub_levels:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
44 self.current_sub_levels = current_sub_levels
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
45 else:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
46 try:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
47 self.current_sub_levels = \
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
48 pickle.load(file('.keyboardcomposer.savedlevels'))
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
49 except IOError:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
50 pass
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
51
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
52 self.draw_ui()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
53 self.send_levels_loop()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
54 def draw_ui(self):
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
55 self.rows = [] # this holds Tk Frames for each row
45b12307c695 Initial revision
drewp
parents:
diff changeset
56 self.slider_vars = {} # this holds subname:sub Tk vars
45b12307c695 Initial revision
drewp
parents:
diff changeset
57 self.slider_table = {} # this holds coords:sub Tk vars
45b12307c695 Initial revision
drewp
parents:
diff changeset
58 self.current_row = 0
45b12307c695 Initial revision
drewp
parents:
diff changeset
59
45b12307c695 Initial revision
drewp
parents:
diff changeset
60 self.make_key_hints()
45b12307c695 Initial revision
drewp
parents:
diff changeset
61 self.draw_sliders()
45b12307c695 Initial revision
drewp
parents:
diff changeset
62 self.highlight_row(self.current_row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
63 self.rows[self.current_row].focus()
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
64
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
65 self.refreshbutton = Button(self, text="Refresh", command=self.refresh)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
66 self.refreshbutton.pack(side=BOTTOM)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
67 self.stop_frequent_update_time = 0
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
68 def make_key_hints(self):
45b12307c695 Initial revision
drewp
parents:
diff changeset
69 keyhintrow = Frame(self)
45b12307c695 Initial revision
drewp
parents:
diff changeset
70
45b12307c695 Initial revision
drewp
parents:
diff changeset
71 col = 0
45b12307c695 Initial revision
drewp
parents:
diff changeset
72 for upkey, downkey in zip(nudge_keys['up'],
45b12307c695 Initial revision
drewp
parents:
diff changeset
73 nudge_keys['down']):
45b12307c695 Initial revision
drewp
parents:
diff changeset
74 # what a hack!
45b12307c695 Initial revision
drewp
parents:
diff changeset
75 downkey = downkey.replace('semicolon', ';')
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
76 upkey, downkey = (upkey.upper(), downkey.upper())
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
77
45b12307c695 Initial revision
drewp
parents:
diff changeset
78 # another what a hack!
45b12307c695 Initial revision
drewp
parents:
diff changeset
79 keylabel = Label(keyhintrow, text='%s\n%s' % (upkey, downkey),
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
80 width=8, font=('Arial', 12), bg='red', fg='white', anchor='c')
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
81 keylabel.pack(side=LEFT, expand=1, fill=X)
45b12307c695 Initial revision
drewp
parents:
diff changeset
82 col += 1
45b12307c695 Initial revision
drewp
parents:
diff changeset
83
45b12307c695 Initial revision
drewp
parents:
diff changeset
84 keyhintrow.pack(fill=X, expand=0)
45b12307c695 Initial revision
drewp
parents:
diff changeset
85 self.keyhints = keyhintrow
45b12307c695 Initial revision
drewp
parents:
diff changeset
86 def setup_key_nudgers(self, tkobject):
45b12307c695 Initial revision
drewp
parents:
diff changeset
87 for d, keys in nudge_keys.items():
45b12307c695 Initial revision
drewp
parents:
diff changeset
88 for key in keys:
45b12307c695 Initial revision
drewp
parents:
diff changeset
89 # lowercase makes full=0
45b12307c695 Initial revision
drewp
parents:
diff changeset
90 keysym = "<KeyPress-%s>" % key
45b12307c695 Initial revision
drewp
parents:
diff changeset
91 tkobject.bind(keysym, \
45b12307c695 Initial revision
drewp
parents:
diff changeset
92 lambda evt, num=keys.index(key), d=d: \
45b12307c695 Initial revision
drewp
parents:
diff changeset
93 self.got_nudger(num, d))
45b12307c695 Initial revision
drewp
parents:
diff changeset
94
45b12307c695 Initial revision
drewp
parents:
diff changeset
95 # uppercase makes full=1
45b12307c695 Initial revision
drewp
parents:
diff changeset
96 keysym = "<KeyPress-%s>" % key.upper()
45b12307c695 Initial revision
drewp
parents:
diff changeset
97 keysym = keysym.replace('SEMICOLON', 'colon')
45b12307c695 Initial revision
drewp
parents:
diff changeset
98 tkobject.bind(keysym, \
45b12307c695 Initial revision
drewp
parents:
diff changeset
99 lambda evt, num=keys.index(key), d=d: \
45b12307c695 Initial revision
drewp
parents:
diff changeset
100 self.got_nudger(num, d, full=1))
45b12307c695 Initial revision
drewp
parents:
diff changeset
101
45b12307c695 Initial revision
drewp
parents:
diff changeset
102 # page up and page down change the row
45b12307c695 Initial revision
drewp
parents:
diff changeset
103 for key in '<Prior> <Next> <Control-n> <Control-p>'.split():
45b12307c695 Initial revision
drewp
parents:
diff changeset
104 tkobject.bind(key, self.change_row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
105
45b12307c695 Initial revision
drewp
parents:
diff changeset
106 def change_row(self, event):
45b12307c695 Initial revision
drewp
parents:
diff changeset
107 diff = 1
111
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
108 if event.keysym in ('Prior', '<Control-p>'):
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
109 diff = -1
45b12307c695 Initial revision
drewp
parents:
diff changeset
110 old_row = self.current_row
45b12307c695 Initial revision
drewp
parents:
diff changeset
111 self.current_row += diff
45b12307c695 Initial revision
drewp
parents:
diff changeset
112 self.current_row = max(0, self.current_row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
113 self.current_row = min(len(self.rows) - 1, self.current_row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
114 self.unhighlight_row(old_row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
115 self.highlight_row(self.current_row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
116 row = self.rows[self.current_row]
45b12307c695 Initial revision
drewp
parents:
diff changeset
117 self.keyhints.pack_configure(before=row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
118 def got_nudger(self, number, direction, full=0):
45b12307c695 Initial revision
drewp
parents:
diff changeset
119 subtk = self.slider_table[(self.current_row, number)]
45b12307c695 Initial revision
drewp
parents:
diff changeset
120 if direction == 'up':
45b12307c695 Initial revision
drewp
parents:
diff changeset
121 if full:
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
122 subtk.scale.fade(1)
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
123 else:
45b12307c695 Initial revision
drewp
parents:
diff changeset
124 subtk.scale.increase()
45b12307c695 Initial revision
drewp
parents:
diff changeset
125 else:
45b12307c695 Initial revision
drewp
parents:
diff changeset
126 if full:
45b12307c695 Initial revision
drewp
parents:
diff changeset
127 subtk.scale.fade(0)
45b12307c695 Initial revision
drewp
parents:
diff changeset
128 else:
45b12307c695 Initial revision
drewp
parents:
diff changeset
129 subtk.scale.decrease()
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
130 # self.maybe_update()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
131 def maybe_update(self, dur=1.05):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
132 now = time.time()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
133 if now > self.stop_frequent_update_time:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
134 self.stop_frequent_update_time = now + dur
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
135 self.send_frequent_updates()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
136 else:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
137 self.stop_frequent_update_time = now + dur
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
138 def draw_sliders(self):
45b12307c695 Initial revision
drewp
parents:
diff changeset
139 self.tk_focusFollowsMouse()
45b12307c695 Initial revision
drewp
parents:
diff changeset
140
45b12307c695 Initial revision
drewp
parents:
diff changeset
141 rowcount = -1
45b12307c695 Initial revision
drewp
parents:
diff changeset
142 col = 0
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
143 for sub in self.submasters.get_all_subs():
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
144 if col == 0: # make new row
45b12307c695 Initial revision
drewp
parents:
diff changeset
145 row = self.make_row()
45b12307c695 Initial revision
drewp
parents:
diff changeset
146 rowcount += 1
45b12307c695 Initial revision
drewp
parents:
diff changeset
147 current_level = self.current_sub_levels.get(sub.name, 0)
45b12307c695 Initial revision
drewp
parents:
diff changeset
148 subtk = self.draw_sub_slider(row, col, sub.name, current_level)
45b12307c695 Initial revision
drewp
parents:
diff changeset
149 self.slider_table[(rowcount, col)] = subtk
45b12307c695 Initial revision
drewp
parents:
diff changeset
150 col += 1
45b12307c695 Initial revision
drewp
parents:
diff changeset
151 col %= 10
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
152
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
153 subtk.slider_var.trace('w', lambda x, y, z: self.send_levels())
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
154 def make_row(self):
111
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
155 row = Frame(self, bd=2)
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
156 row.pack(expand=1, fill=BOTH)
45b12307c695 Initial revision
drewp
parents:
diff changeset
157 self.setup_key_nudgers(row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
158 self.rows.append(row)
45b12307c695 Initial revision
drewp
parents:
diff changeset
159 return row
45b12307c695 Initial revision
drewp
parents:
diff changeset
160 def draw_sub_slider(self, row, col, name, current_level):
45b12307c695 Initial revision
drewp
parents:
diff changeset
161 subtk = SubmasterTk(row, name, current_level)
45b12307c695 Initial revision
drewp
parents:
diff changeset
162 subtk.place(relx=col * 0.1, rely=0, relwidth=0.1, relheight=1)
45b12307c695 Initial revision
drewp
parents:
diff changeset
163 self.setup_key_nudgers(subtk.scale)
45b12307c695 Initial revision
drewp
parents:
diff changeset
164
45b12307c695 Initial revision
drewp
parents:
diff changeset
165 self.slider_vars[name] = subtk.slider_var
45b12307c695 Initial revision
drewp
parents:
diff changeset
166 return subtk
45b12307c695 Initial revision
drewp
parents:
diff changeset
167 def highlight_row(self, row):
45b12307c695 Initial revision
drewp
parents:
diff changeset
168 row = self.rows[row]
45b12307c695 Initial revision
drewp
parents:
diff changeset
169 row['bg'] = 'red'
45b12307c695 Initial revision
drewp
parents:
diff changeset
170 def unhighlight_row(self, row):
45b12307c695 Initial revision
drewp
parents:
diff changeset
171 row = self.rows[row]
111
0c619695d6c6 all in a days work
dmcc
parents: 0
diff changeset
172 row['bg'] = '#d9d9d9'
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
173 def get_levels(self):
45b12307c695 Initial revision
drewp
parents:
diff changeset
174 return dict([(name, slidervar.get())
45b12307c695 Initial revision
drewp
parents:
diff changeset
175 for name, slidervar in self.slider_vars.items()])
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
176 def get_dmx_list(self):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
177 scaledsubs = [self.submasters.get_sub_by_name(sub) * level \
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
178 for sub, level in self.get_levels().items()]
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
179
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
180 maxes = sub_maxes(*scaledsubs)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
181 return maxes.get_dmx_list()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
182 def save(self):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
183 pickle.dump(self.get_levels(),
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
184 file('.keyboardcomposer.savedlevels', 'w'))
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
185 def send_frequent_updates(self):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
186 """called when we get a fade -- send events as quickly as possible"""
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
187 if time.time() <= self.stop_frequent_update_time:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
188 self.send_levels()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
189 self.after(10, self.send_frequent_updates)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
190 def send_levels(self):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
191 print self.submasters.get_sub_by_name('frontwhite')
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
192 levels = self.get_dmx_list()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
193 dmxclient.outputlevels(levels)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
194 def send_levels_loop(self):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
195 self.send_levels()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
196 self.after(1000, self.send_levels_loop)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
197 def refresh(self):
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
198 self.save()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
199 self.submasters = Submasters()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
200 self.current_sub_levels = \
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
201 pickle.load(file('.keyboardcomposer.savedlevels'))
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
202 for r in self.rows:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
203 r.destroy()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
204 self.keyhints.destroy()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
205 self.refreshbutton.destroy()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
206 self.draw_ui()
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
207
45b12307c695 Initial revision
drewp
parents:
diff changeset
208 if __name__ == "__main__":
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
209 s = Submasters()
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
210
45b12307c695 Initial revision
drewp
parents:
diff changeset
211 root = Tk()
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
212 tl = toplevelat("Keyboard Composer", existingtoplevel=root)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
213 kc = KeyboardComposer(tl, s)
0
45b12307c695 Initial revision
drewp
parents:
diff changeset
214 kc.pack(fill=BOTH, expand=1)
136
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
215 atexit.register(kc.save)
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
216 try:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
217 mainloop()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
218 except KeyboardInterrupt:
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
219 tl.destroy()
7e91c49fb2d6 whoops, forgot this one
dmcc
parents: 122
diff changeset
220 sys.exit()