rev |
line source |
is_rusinov@64
|
1 import math |
is_rusinov@69
|
2 import random |
is_rusinov@70
|
3 import pickle |
is_rusinov@64
|
4 import tkColorChooser |
is_rusinov@70
|
5 import tkFileDialog |
is_rusinov@73
|
6 import tkMessageBox |
Ilia@6
|
7 from Tkinter import * |
Ilia@2
|
8 |
is_rusinov@18
|
9 from State import * |
is_rusinov@18
|
10 from Automata import * |
is_rusinov@18
|
11 |
is_rusinov@18
|
12 |
Ilia@2
|
13 class Handlers(object): |
is_rusinov@5
|
14 |
is_rusinov@54
|
15 def __init__(self, cell_size=8, line_width=1 ,delay=10, offset_x=0, offset_y=0):# cell_size is size of cell, including line width, if there is it |
is_rusinov@7
|
16 self.cell_size = cell_size |
is_rusinov@18
|
17 self.line_width = line_width |
is_rusinov@7
|
18 self.delay = delay |
Ilia@6
|
19 self.offset_x = offset_x |
Ilia@6
|
20 self.offset_y = offset_y |
is_rusinov@5
|
21 self.after_id = 0 |
is_rusinov@51
|
22 self.mouse_offset_x = 0 |
is_rusinov@51
|
23 self.mouse_offset_y = 0 |
is_rusinov@18
|
24 self.mouse_zoom = 0 |
is_rusinov@54
|
25 self.zoom_divisor = 1 |
is_rusinov@64
|
26 self.selected_state = None |
is_rusinov@7
|
27 self.is_started = False |
is_rusinov@54
|
28 self.char = None |
is_rusinov@70
|
29 self.keys = {} |
is_rusinov@70
|
30 for index, state in enumerate(automata.states): |
is_rusinov@70
|
31 self.keys[state.key] = index |
is_rusinov@29
|
32 self.draw() |
is_rusinov@75
|
33 def start(self, event=None): |
is_rusinov@8
|
34 if not self.is_started: |
is_rusinov@7
|
35 self.is_started = True |
is_rusinov@43
|
36 self.repeat() |
is_rusinov@43
|
37 def repeat(self): |
is_rusinov@43
|
38 self.next_step() |
is_rusinov@43
|
39 self.after_id = canvas.after(self.delay, self.repeat) |
is_rusinov@5
|
40 |
is_rusinov@75
|
41 def stop(self, event=None): |
is_rusinov@29
|
42 canvas.after_cancel(self.after_id) |
is_rusinov@7
|
43 self.is_started = False |
is_rusinov@5
|
44 |
is_rusinov@75
|
45 def next_step(self, event=None): |
is_rusinov@53
|
46 self.draw_cell(automata.next_step()) |
is_rusinov@5
|
47 |
is_rusinov@75
|
48 def save_file(self, event=None): |
is_rusinov@71
|
49 file = tkFileDialog.asksaveasfile(defaultextension=".caf", title="Save automata as", filetypes=[('Cyclic cell Automata File', '*.caf')]) |
is_rusinov@76
|
50 if file != None: |
is_rusinov@76
|
51 pickle.dump([automata.field, automata.states], file) |
is_rusinov@5
|
52 |
is_rusinov@75
|
53 def open_file(self, event=None): |
is_rusinov@70
|
54 file = tkFileDialog.askopenfile(title="Open file", filetypes=[('Cyclic cell Automata File', '*.caf')]) |
is_rusinov@70
|
55 if file != None: |
is_rusinov@70
|
56 from_file = pickle.load(file) |
is_rusinov@70
|
57 automata.field = from_file[0] |
is_rusinov@70
|
58 automata.height = len(automata.field) |
is_rusinov@70
|
59 automata.width = len(automata.field[0]) |
is_rusinov@70
|
60 automata.states = from_file[1] |
is_rusinov@70
|
61 self.selected_state = None |
is_rusinov@70
|
62 self.refresh_dicts() |
is_rusinov@70
|
63 self.refresh_list() |
is_rusinov@70
|
64 self.hide_automata_window() |
is_rusinov@70
|
65 self.draw() |
is_rusinov@5
|
66 |
is_rusinov@75
|
67 def new_file(self, event=None): |
is_rusinov@73
|
68 if tkMessageBox.askyesno("Save?", "Do you want to save current automata?"): |
is_rusinov@73
|
69 self.save_file() |
is_rusinov@73
|
70 new_automata = Automata() |
is_rusinov@73
|
71 automata.field = new_automata.field |
is_rusinov@73
|
72 automata.height = len(automata.field) |
is_rusinov@73
|
73 automata.width = len(automata.field[0]) |
is_rusinov@73
|
74 automata.states = new_automata.states |
is_rusinov@73
|
75 self.selected_state = None |
is_rusinov@73
|
76 self.refresh_dicts() |
is_rusinov@73
|
77 self.refresh_list() |
is_rusinov@73
|
78 self.hide_automata_window() |
is_rusinov@73
|
79 self.draw() |
is_rusinov@73
|
80 |
is_rusinov@75
|
81 def show_help_window(self, event=None): |
Ilia@2
|
82 pass |
is_rusinov@5
|
83 |
is_rusinov@75
|
84 def hide_help_window(self, event=None): |
is_rusinov@8
|
85 pass |
is_rusinov@8
|
86 |
is_rusinov@75
|
87 def zoom_in(self, zoom_rate=1, event=None): |
is_rusinov@7
|
88 if self.cell_size < 50: |
is_rusinov@8
|
89 self.cell_size = self.cell_size + zoom_rate |
is_rusinov@7
|
90 self.draw() |
is_rusinov@78
|
91 self.change_scroll_area() |
is_rusinov@5
|
92 |
is_rusinov@75
|
93 def zoom_out(self, zoom_rate=1, event=None): |
is_rusinov@7
|
94 if self.cell_size > 1: |
is_rusinov@8
|
95 self.cell_size = self.cell_size - zoom_rate |
is_rusinov@7
|
96 self.draw() |
is_rusinov@78
|
97 self.change_scroll_area() |
is_rusinov@5
|
98 |
Ilia@77
|
99 def slower(self, event=None, speed_rate=2): |
is_rusinov@74
|
100 self.stop() |
is_rusinov@74
|
101 self.delay = self.delay*speed_rate |
is_rusinov@74
|
102 self.start() |
is_rusinov@5
|
103 |
Ilia@77
|
104 def faster(self, event=None, speed_rate=2): |
is_rusinov@74
|
105 self.stop() |
is_rusinov@74
|
106 self.delay = self.delay / speed_rate |
is_rusinov@74
|
107 if self.delay == 0: |
is_rusinov@74
|
108 self.delay = 1 |
is_rusinov@74
|
109 self.start() |
is_rusinov@5
|
110 |
is_rusinov@70
|
111 def change_size(self): |
is_rusinov@70
|
112 try: |
is_rusinov@70
|
113 dx = int(size_x.get()) - automata.width |
is_rusinov@70
|
114 dy = int(size_y.get()) - automata.height |
is_rusinov@70
|
115 position = side.get() |
is_rusinov@8
|
116 if position == 0 or position == 3 or position == 6: |
is_rusinov@8
|
117 automata.change_size(dx, 3) |
is_rusinov@8
|
118 elif position == 1 or position == 4 or position == 7: |
is_rusinov@8
|
119 automata.change_size(dx / 2, 3) |
is_rusinov@8
|
120 automata.change_size(dx - dx / 2, 1) |
is_rusinov@18
|
121 else: |
is_rusinov@8
|
122 automata.change_size(dx, 1) |
is_rusinov@8
|
123 if position == 0 or position == 1 or position == 2: |
is_rusinov@8
|
124 automata.change_size(dy, 0) |
is_rusinov@8
|
125 elif position == 3 or position == 4 or position == 5: |
is_rusinov@8
|
126 automata.change_size(dy / 2, 0) |
is_rusinov@8
|
127 automata.change_size(dy - dy / 2, 2) |
is_rusinov@18
|
128 else: |
is_rusinov@8
|
129 automata.change_size(dy, 2) |
is_rusinov@8
|
130 self.draw() |
is_rusinov@70
|
131 self.hide_size_window() |
is_rusinov@78
|
132 self.change_scroll_area() |
is_rusinov@70
|
133 except Exception: |
is_rusinov@70
|
134 message.config(text="Operation is refused") |
is_rusinov@70
|
135 message.after(2000, self.clear_message) |
darkhan@50
|
136 def draw_cell(self, cells): |
darkhan@50
|
137 for row, col in cells: |
darkhan@42
|
138 index = automata.symbols[automata.field[row][col]] |
darkhan@42
|
139 color = automata.states[index].color |
darkhan@42
|
140 canvas.itemconfig(self.cells[row][col], fill=color) |
darkhan@42
|
141 |
darkhan@32
|
142 def draw(self): |
darkhan@31
|
143 canvas.delete("all") |
darkhan@42
|
144 self.cells = [] |
darkhan@31
|
145 shift = self.cell_size + self.line_width |
darkhan@42
|
146 left = -self.offset_x + self.line_width |
darkhan@42
|
147 top = -self.offset_y + self.line_width |
darkhan@31
|
148 for row in range(automata.height): |
darkhan@42
|
149 self.cells.append([]) |
darkhan@31
|
150 for col in range(automata.width): |
darkhan@31
|
151 index = automata.symbols[automata.field[row][col]] |
darkhan@31
|
152 color = automata.states[index].color |
darkhan@42
|
153 cell = canvas.create_rectangle(left + col * shift, |
darkhan@31
|
154 top + row * shift, |
darkhan@31
|
155 left + col * shift + self.cell_size, |
darkhan@31
|
156 top + row * shift + self.cell_size, |
darkhan@50
|
157 fill=color, outline="", tag="cell") |
darkhan@42
|
158 self.cells[row].append(cell) |
is_rusinov@5
|
159 |
is_rusinov@64
|
160 def draw_line(self, x1, y1, x2, y2, order=1): |
is_rusinov@64
|
161 answer = [] |
is_rusinov@64
|
162 if abs(x1 - x2) > abs(y1 - y2): |
is_rusinov@64
|
163 dx = x2 - x1 |
is_rusinov@64
|
164 abs_dx = abs(dx) |
is_rusinov@64
|
165 dy = float(y2 - y1) |
is_rusinov@64
|
166 while x1 != x2: |
is_rusinov@64
|
167 x1 = x1 + dx / abs_dx |
is_rusinov@64
|
168 y1 = y1 + dy / abs_dx |
is_rusinov@64
|
169 answer.append((self.rounding(y1), x1)) |
is_rusinov@64
|
170 else: |
is_rusinov@64
|
171 dx = float(x2 - x1) |
is_rusinov@64
|
172 dy = y2 - y1 |
is_rusinov@64
|
173 abs_dy = abs(dy) |
is_rusinov@64
|
174 while y1 != y2: |
is_rusinov@64
|
175 x1 = x1 + dx / abs_dy |
is_rusinov@64
|
176 y1 = y1 + dy / abs_dy |
is_rusinov@64
|
177 answer.append((y1, self.rounding(x1))) |
is_rusinov@64
|
178 self.new_state(answer, order) |
is_rusinov@64
|
179 |
is_rusinov@64
|
180 def rounding(self, num): |
is_rusinov@64
|
181 return int(num + math.copysign(0.5, num)) |
is_rusinov@64
|
182 |
is_rusinov@64
|
183 def new_state(self, cells, order=1): |
is_rusinov@64
|
184 num_states = len(automata.states) |
is_rusinov@64
|
185 changed_cells = [] |
is_rusinov@64
|
186 for row, col in cells: |
is_rusinov@64
|
187 if col >= 0 and row >= 0: |
is_rusinov@64
|
188 try: |
is_rusinov@64
|
189 index = (automata.symbols[automata.field[row][col]] + num_states + order) % num_states |
is_rusinov@69
|
190 if self.char != None and self.char in self.keys: |
is_rusinov@64
|
191 index = self.keys[self.char] |
is_rusinov@64
|
192 automata.field[row][col] = automata.states[index].symbol |
is_rusinov@64
|
193 changed_cells.append((row, col)) |
is_rusinov@64
|
194 except: |
is_rusinov@64
|
195 pass |
is_rusinov@64
|
196 self.draw_cell(changed_cells) |
is_rusinov@64
|
197 |
is_rusinov@7
|
198 def press1(self, event):# drawer |
is_rusinov@64
|
199 self.col1 = event.x / (self.cell_size + self.line_width) - self.offset_x |
is_rusinov@64
|
200 self.row1 = event.y / (self.cell_size + self.line_width) - self.offset_y |
is_rusinov@64
|
201 if self.col1 >= 0 and self.row1 >= 0: |
is_rusinov@64
|
202 self.new_state([(self.row1, self.col1)]) |
is_rusinov@69
|
203 |
is_rusinov@64
|
204 def motion1(self, event):# drawer |
is_rusinov@64
|
205 col = (event.x - self.offset_x * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width) |
is_rusinov@26
|
206 row = (event.y - self.offset_y * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width) |
is_rusinov@64
|
207 if not (self.col1 == col and self.row1 == row): |
is_rusinov@64
|
208 if abs(self.col1 - col) <= 1 and abs(self.row1 - row) <= 1: |
is_rusinov@64
|
209 self.new_state([(row, col)]) |
is_rusinov@64
|
210 else: |
is_rusinov@64
|
211 self.draw_line(self.col1, self.row1, col, row) |
is_rusinov@64
|
212 self.col1 = col |
is_rusinov@64
|
213 self.row1 = row |
is_rusinov@5
|
214 |
is_rusinov@7
|
215 def press3(self, event):# drawer |
is_rusinov@64
|
216 self.col3 = event.x / (self.cell_size + self.line_width) - self.offset_x |
is_rusinov@64
|
217 self.row3 = event.y / (self.cell_size + self.line_width) - self.offset_y |
is_rusinov@64
|
218 if self.col1 >= 0 and self.row1 >= 0: |
is_rusinov@64
|
219 self.new_state([(self.row3, self.col3)], -1) |
is_rusinov@54
|
220 |
is_rusinov@64
|
221 def motion3(self, event):# drawer |
is_rusinov@64
|
222 col = (event.x - self.offset_x * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width) |
is_rusinov@26
|
223 row = (event.y - self.offset_y * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width) |
is_rusinov@64
|
224 if not (self.col3 == col and self.row3 == row): |
is_rusinov@64
|
225 if abs(self.col3 - col) <= 1 and abs(self.row3 - row) <= 1: |
is_rusinov@64
|
226 self.new_state([(row, col)], -1) |
is_rusinov@64
|
227 else: |
is_rusinov@64
|
228 self.draw_line(self.col3, self.row3, col, row, -1) |
is_rusinov@64
|
229 self.col3 = col |
is_rusinov@64
|
230 self.row3 = row |
is_rusinov@5
|
231 |
is_rusinov@54
|
232 def press_key(self, event):# drawer |
is_rusinov@54
|
233 self.char = event.char |
is_rusinov@5
|
234 |
is_rusinov@54
|
235 def release_key(self, event):# drawer |
is_rusinov@54
|
236 self.char = None |
is_rusinov@18
|
237 |
is_rusinov@43
|
238 def press1_ctrl(self, event):# change_offset (B1+ctrl) |
is_rusinov@54
|
239 canvas.focus_set() |
is_rusinov@51
|
240 self.mouse_offset_x = event.x |
is_rusinov@51
|
241 self.mouse_offset_y = event.y |
is_rusinov@18
|
242 |
is_rusinov@43
|
243 def motion1_ctrl(self, event):# change_offset (B1+ctrl) |
is_rusinov@51
|
244 self.offset_x = (event.x - self.mouse_offset_x) / (self.cell_size + self.line_width) |
is_rusinov@51
|
245 self.offset_y = (event.y - self.mouse_offset_y) / (self.cell_size + self.line_width) |
is_rusinov@51
|
246 self.mouse_offset_x = event.x |
is_rusinov@51
|
247 self.mouse_offset_y = event.y |
is_rusinov@18
|
248 self.draw() |
is_rusinov@5
|
249 |
is_rusinov@43
|
250 def press13(self, event):# zoom |
is_rusinov@54
|
251 canvas.focus_set() |
is_rusinov@18
|
252 self.mouse_zoom = event.y |
is_rusinov@5
|
253 |
is_rusinov@43
|
254 def motion13(self, event):# zoom |
is_rusinov@18
|
255 delta = (event.y - self.mouse_zoom) / self.zoom_divisor |
is_rusinov@18
|
256 self.cell_size = self.cell_size + delta |
is_rusinov@18
|
257 if self.cell_size > 50: |
is_rusinov@18
|
258 self.cell_size = 50 |
is_rusinov@18
|
259 if self.cell_size < 1: |
is_rusinov@18
|
260 self.cell_size = 1 |
is_rusinov@18
|
261 self.mouse_zoom = event.y |
is_rusinov@18
|
262 self.draw() |
is_rusinov@5
|
263 |
is_rusinov@8
|
264 def to_top(self):# replace choosen state to top |
is_rusinov@64
|
265 selected = self.selected_state |
is_rusinov@64
|
266 if selected != None: |
is_rusinov@64
|
267 index = selected |
is_rusinov@58
|
268 state = automata.states[index] |
is_rusinov@58
|
269 del automata.states[index] |
is_rusinov@58
|
270 automata.states.insert(0, state) |
is_rusinov@64
|
271 self.selected_state = 0 |
is_rusinov@69
|
272 self.refresh_dicts() |
is_rusinov@58
|
273 self.refresh_list() |
is_rusinov@7
|
274 |
is_rusinov@8
|
275 def to_bottom(self):# replace choosen state to botton |
is_rusinov@64
|
276 selected = self.selected_state |
is_rusinov@64
|
277 if selected != None: |
is_rusinov@64
|
278 index = selected |
is_rusinov@58
|
279 state = automata.states[index] |
is_rusinov@58
|
280 del automata.states[index] |
is_rusinov@58
|
281 automata.states.append(state) |
is_rusinov@64
|
282 self.selected_state = len(automata.states) - 1 |
is_rusinov@69
|
283 self.refresh_dicts() |
is_rusinov@58
|
284 self.refresh_list() |
is_rusinov@7
|
285 |
is_rusinov@8
|
286 def upwards(self): |
is_rusinov@64
|
287 selected = self.selected_state |
is_rusinov@64
|
288 if selected != None: |
is_rusinov@64
|
289 index = selected |
is_rusinov@58
|
290 if index > 0: |
is_rusinov@58
|
291 state = automata.states[index] |
is_rusinov@58
|
292 del automata.states[index] |
is_rusinov@58
|
293 automata.states.insert(index - 1, state) |
is_rusinov@64
|
294 self.selected_state = index - 1 |
is_rusinov@69
|
295 self.refresh_dicts() |
is_rusinov@58
|
296 self.refresh_list() |
is_rusinov@7
|
297 |
is_rusinov@8
|
298 def downwards(self): |
is_rusinov@64
|
299 selected = self.selected_state |
is_rusinov@64
|
300 if selected != None: |
is_rusinov@64
|
301 index = selected |
is_rusinov@58
|
302 if index < state_list.size() - 1: |
is_rusinov@58
|
303 state = automata.states[index] |
is_rusinov@58
|
304 del automata.states[index] |
is_rusinov@58
|
305 automata.states.insert(index + 1, state) |
is_rusinov@64
|
306 self.selected_state = index + 1 |
is_rusinov@69
|
307 self.refresh_dicts() |
is_rusinov@58
|
308 self.refresh_list() |
is_rusinov@7
|
309 |
is_rusinov@8
|
310 def delete_state(self):# delete choosen state |
is_rusinov@64
|
311 selected = self.selected_state |
is_rusinov@69
|
312 if selected != None and len(automata.states) != 1: |
is_rusinov@64
|
313 index = selected |
is_rusinov@69
|
314 symbol = automata.states[index].symbol |
is_rusinov@65
|
315 del automata.states[index] |
is_rusinov@69
|
316 self.refresh_dicts() |
is_rusinov@65
|
317 if index in automata.states: |
is_rusinov@65
|
318 self.selected_state = index |
is_rusinov@69
|
319 else: |
is_rusinov@65
|
320 self.selected_state = len(automata.states) - 1 |
is_rusinov@58
|
321 self.refresh_list() |
is_rusinov@65
|
322 self.select_item(self.selected_state) |
is_rusinov@69
|
323 self.draw_changed_state(symbol, automata.states[0].symbol) |
is_rusinov@69
|
324 else: |
is_rusinov@69
|
325 error.config(text="Operation is refused") |
is_rusinov@69
|
326 error.after(2000, self.clear_error) |
is_rusinov@7
|
327 |
is_rusinov@18
|
328 def add(self):# add new state |
is_rusinov@29
|
329 name = state_name.get() |
is_rusinov@48
|
330 symbol = state_symbol.get() |
is_rusinov@54
|
331 key = state_key.get().lower() |
is_rusinov@64
|
332 color = state_color.cget("bg") |
is_rusinov@29
|
333 nums = [] |
is_rusinov@29
|
334 for i, value in enumerate(ckeckbox_nums): |
is_rusinov@65
|
335 if value.get() == 1: |
is_rusinov@65
|
336 nums.append(i) |
is_rusinov@54
|
337 if self.keys.has_key(key): |
is_rusinov@29
|
338 error.config(text="State with such key has already existed") |
is_rusinov@69
|
339 error.after(2000, self.clear_error) |
is_rusinov@29
|
340 state_key.focus() |
is_rusinov@29
|
341 elif len(key) != 1: |
is_rusinov@29
|
342 error.config(text="Bad key for state") |
is_rusinov@69
|
343 error.after(2000, self.clear_error) |
is_rusinov@29
|
344 state_key.focus() |
is_rusinov@29
|
345 elif automata.symbols.has_key(symbol): |
is_rusinov@29
|
346 error.config(text="State with such symbol has already existed") |
is_rusinov@69
|
347 error.after(2000, self.clear_error) |
is_rusinov@29
|
348 state_symbol.focus() |
is_rusinov@29
|
349 elif len(symbol) != 1: |
is_rusinov@29
|
350 error.config(text="Bad symbol for state") |
is_rusinov@69
|
351 error.after(2000, self.clear_error) |
is_rusinov@29
|
352 state_symbol.focus() |
is_rusinov@29
|
353 else: |
is_rusinov@69
|
354 state = State(name, symbol, color, key, nums) |
is_rusinov@29
|
355 automata.states.append(state) |
is_rusinov@34
|
356 automata.symbols[symbol] = len(automata.states) - 1 |
is_rusinov@34
|
357 self.keys[key] = len(automata.states) - 1 |
is_rusinov@58
|
358 error.config(text="") |
is_rusinov@65
|
359 self.selected_state = len(automata.states) - 1 |
is_rusinov@58
|
360 self.refresh_list() |
is_rusinov@65
|
361 self.select_item(self.selected_state) |
is_rusinov@66
|
362 automata.st_sym[symbol] = state |
is_rusinov@5
|
363 |
is_rusinov@18
|
364 def change(self):# change chosen state |
is_rusinov@64
|
365 selected = self.selected_state |
is_rusinov@64
|
366 if selected != None: |
is_rusinov@64
|
367 index = selected |
is_rusinov@58
|
368 name = state_name.get() |
is_rusinov@58
|
369 symbol = state_symbol.get() |
is_rusinov@58
|
370 key = state_key.get().lower() |
is_rusinov@64
|
371 color = state_color.cget("bg") |
is_rusinov@58
|
372 nums = [] |
is_rusinov@58
|
373 for i, value in enumerate(ckeckbox_nums): |
is_rusinov@58
|
374 if value.get() == 1: |
is_rusinov@58
|
375 nums.append(i) |
is_rusinov@58
|
376 if self.keys.has_key(key) and self.keys[key] != index: |
is_rusinov@58
|
377 error.config(text="State with such key has already existed") |
is_rusinov@69
|
378 error.after(2000, self.clear_error) |
is_rusinov@58
|
379 state_key.focus() |
is_rusinov@58
|
380 elif len(key) != 1: |
is_rusinov@58
|
381 error.config(text="Bad key for state") |
is_rusinov@69
|
382 error.after(2000, self.clear_error) |
is_rusinov@58
|
383 state_key.focus() |
is_rusinov@58
|
384 elif automata.symbols.has_key(symbol) and automata.symbols[symbol] != index: |
is_rusinov@58
|
385 error.config(text="State with such symbol has already existed") |
is_rusinov@69
|
386 error.after(2000, self.clear_error) |
is_rusinov@58
|
387 state_symbol.focus() |
is_rusinov@58
|
388 elif len(symbol) != 1: |
is_rusinov@58
|
389 error.config(text="Bad symbol for state") |
is_rusinov@69
|
390 error.after(2000, self.clear_error) |
is_rusinov@58
|
391 state_symbol.focus() |
is_rusinov@58
|
392 else: |
is_rusinov@69
|
393 state = State(name, symbol, color, key, nums) |
is_rusinov@72
|
394 symbol_old = automata.states[index].symbol |
is_rusinov@66
|
395 automata.states[index] = state |
is_rusinov@69
|
396 self.refresh_dicts() |
is_rusinov@72
|
397 self.draw_changed_state(symbol_old, symbol) |
is_rusinov@58
|
398 self.refresh_list() |
is_rusinov@54
|
399 |
is_rusinov@69
|
400 def draw_changed_state(self, symbol_old, symbol_new): |
is_rusinov@69
|
401 cells = [] |
is_rusinov@69
|
402 for row in range(automata.height): |
is_rusinov@69
|
403 for col in range(automata.width): |
is_rusinov@69
|
404 if automata.field[row][col] == symbol_old: |
is_rusinov@69
|
405 automata.field[row][col] = symbol_new |
is_rusinov@69
|
406 cells.append((row, col)) |
is_rusinov@69
|
407 |
is_rusinov@69
|
408 self.draw_cell(cells) |
is_rusinov@69
|
409 |
is_rusinov@75
|
410 def show_size_window(self, event=None): |
is_rusinov@18
|
411 size_window.deiconify() |
Ilia@55
|
412 |
is_rusinov@75
|
413 def hide_size_window(self, event=None): |
is_rusinov@18
|
414 size_window.withdraw() |
Ilia@55
|
415 |
Ilia@55
|
416 def show_automata_window(self): |
is_rusinov@70
|
417 self.select_item(self.selected_state) |
is_rusinov@70
|
418 self.refresh_list |
Ilia@55
|
419 automata_window.deiconify() |
Ilia@55
|
420 |
Ilia@55
|
421 def hide_automata_window(self): |
Ilia@55
|
422 automata_window.withdraw() |
is_rusinov@65
|
423 |
is_rusinov@58
|
424 def refresh_list(self): |
is_rusinov@58
|
425 state_list.delete(0, "end") |
is_rusinov@58
|
426 for state in automata.states: |
is_rusinov@58
|
427 state_list.insert("end", state) |
is_rusinov@64
|
428 if self.selected_state != None: |
is_rusinov@64
|
429 state_list.selection_set(self.selected_state) |
is_rusinov@65
|
430 |
is_rusinov@65
|
431 def select_item(self, index): |
is_rusinov@65
|
432 if index != None: |
is_rusinov@58
|
433 state = automata.states[index] |
is_rusinov@58
|
434 state_name.delete(0, "end") |
is_rusinov@58
|
435 state_name.insert(0, state.name) |
is_rusinov@58
|
436 state_symbol.delete(0, "end") |
is_rusinov@58
|
437 state_symbol.insert(0, state.symbol) |
is_rusinov@58
|
438 for key in self.keys.keys(): |
is_rusinov@58
|
439 if self.keys[key] == index: |
is_rusinov@58
|
440 state_key.delete(0, "end") |
is_rusinov@58
|
441 state_key.insert(0, key) |
is_rusinov@64
|
442 state_color.config(bg=state.color) |
is_rusinov@58
|
443 for i in range(9): |
is_rusinov@58
|
444 ckeckbox_nums[i].set(i in state.nums) |
is_rusinov@65
|
445 else: |
is_rusinov@65
|
446 state_name.delete(0, "end") |
is_rusinov@65
|
447 state_symbol.delete(0, "end") |
is_rusinov@65
|
448 state_key.delete(0, "end") |
is_rusinov@65
|
449 state_color.config(bg="white") |
is_rusinov@65
|
450 for i in range(9): |
is_rusinov@65
|
451 ckeckbox_nums[i].set(False) |
is_rusinov@64
|
452 |
is_rusinov@65
|
453 def list_mouse_release(self, event): |
is_rusinov@65
|
454 selected = state_list.curselection() |
is_rusinov@65
|
455 self.selected_state = int(selected[0]) |
is_rusinov@65
|
456 if len(selected): |
is_rusinov@65
|
457 self.select_item(self.selected_state) |
is_rusinov@69
|
458 |
is_rusinov@64
|
459 def choose_color(self, event): |
is_rusinov@64
|
460 state_color.config(bg=tkColorChooser.askcolor()[1]) |
is_rusinov@69
|
461 |
is_rusinov@69
|
462 def clear_error(self): |
is_rusinov@69
|
463 error.config(text="") |
is_rusinov@69
|
464 |
is_rusinov@70
|
465 def clear_message(self): |
is_rusinov@70
|
466 message.config(text="") |
is_rusinov@70
|
467 |
is_rusinov@75
|
468 def clean_field(self, event=None): |
is_rusinov@69
|
469 symbol = automata.states[0].symbol |
is_rusinov@69
|
470 cells = [] |
is_rusinov@69
|
471 for row in range(automata.height): |
is_rusinov@69
|
472 for col in range(automata.width): |
is_rusinov@69
|
473 if automata.field[row][col] != symbol: |
is_rusinov@69
|
474 automata.field[row][col] = symbol |
is_rusinov@69
|
475 cells.append((row, col)) |
is_rusinov@69
|
476 self.draw_cell(cells) |
is_rusinov@69
|
477 |
is_rusinov@75
|
478 def fill_randomly(self, event=None): |
is_rusinov@69
|
479 cells = [] |
is_rusinov@69
|
480 for row in range(automata.height): |
is_rusinov@69
|
481 for col in range(automata.width): |
is_rusinov@69
|
482 automata.field[row][col] = automata.states[random.randint(0, len(automata.states) - 1)].symbol |
is_rusinov@69
|
483 cells.append((row, col)) |
is_rusinov@69
|
484 self.draw_cell(cells) |
is_rusinov@69
|
485 |
is_rusinov@69
|
486 def refresh_dicts(self): |
is_rusinov@69
|
487 automata.symbols = {} |
is_rusinov@69
|
488 automata.st_sym = {} |
is_rusinov@69
|
489 self.keys = {} |
is_rusinov@69
|
490 for index, state in enumerate(automata.states): |
is_rusinov@69
|
491 automata.symbols[state.symbol] = index |
is_rusinov@69
|
492 automata.st_sym[state.symbol] = state |
is_rusinov@69
|
493 self.keys[state.key] = index |
is_rusinov@69
|
494 |
Ilia@77
|
495 def exit(self, event=None): |
is_rusinov@78
|
496 if tkMessageBox.askyesno("Save?", "Do you want to save current automata?"): |
is_rusinov@78
|
497 self.save_file() |
is_rusinov@78
|
498 root.destroy() |
is_rusinov@78
|
499 |
is_rusinov@78
|
500 def change_scroll_area(self): |
is_rusinov@78
|
501 width = automata.width * (self.cell_size + self.line_width) + self.line_width |
is_rusinov@78
|
502 height = automata.height * (self.cell_size + self.line_width) + self.line_width |
is_rusinov@78
|
503 canvas.config(scrollregion=(0, 0, width, height)) |
Ilia@55
|
504 |
Ilia@6
|
505 |
Ilia@6
|
506 root = Tk() |
Ilia@36
|
507 root.title("Cyclic Cellular Automata") |
Ilia@6
|
508 |
darkhan@42
|
509 canvas = Canvas(root, background="grey") |
Ilia@6
|
510 canvas.config(width=500, height=400) |
Ilia@6
|
511 |
is_rusinov@54
|
512 automata = Automata() |
Ilia@36
|
513 handlers = Handlers() |
Ilia@36
|
514 |
is_rusinov@54
|
515 canvas.tag_bind("cell", "<1>", handlers.press1) |
is_rusinov@64
|
516 canvas.tag_bind("cell", "<B1-Motion>", handlers.motion1) |
is_rusinov@54
|
517 canvas.tag_bind("cell", "<3>", handlers.press3) |
is_rusinov@64
|
518 canvas.tag_bind("cell", "<B3-Motion>", handlers.motion3) |
is_rusinov@54
|
519 canvas.bind_all("<KeyPress>", handlers.press_key) |
is_rusinov@54
|
520 canvas.bind_all("<KeyRelease>", handlers.release_key) |
is_rusinov@54
|
521 #canvas.bind("<Control-ButtonPress-1>", handlers.press1_ctrl) |
is_rusinov@54
|
522 #canvas.bind("<Control-B1-Motion>", handlers.motion1_ctrl) |
is_rusinov@54
|
523 #canvas.bind("<Shift-ButtonPress-1>", handlers.press13) |
is_rusinov@54
|
524 #canvas.bind("<Shift-ButtonPress-1>", handlers.motion13) |
Ilia@36
|
525 |
Ilia@36
|
526 canvas.pack(fill="both", expand="yes") |
Ilia@6
|
527 |
Ilia@6
|
528 #infoPanel=Frame |
Ilia@55
|
529 automata_window = Toplevel(root) |
Ilia@55
|
530 automata_window.title("Automata") |
Ilia@55
|
531 automata_window.withdraw() |
Ilia@55
|
532 automata_window.resizable(False, False) |
Ilia@55
|
533 automata_window.protocol("WM_DELETE_WINDOW", handlers.hide_automata_window) |
Ilia@9
|
534 |
Ilia@55
|
535 headline = Label(automata_window, text= "Automata Panel", font=16) |
Ilia@55
|
536 headline.pack(side="top",fill="both", expand="no") |
Ilia@9
|
537 |
Ilia@55
|
538 Label(automata_window, text= "State Box:").pack(side="top", fill="x") |
Ilia@56
|
539 |
Ilia@56
|
540 list_frame=Frame(automata_window) |
Ilia@56
|
541 scrollbar = Scrollbar(list_frame) |
Ilia@57
|
542 scrollbar.pack(side="right", fill="y") |
is_rusinov@58
|
543 state_list=Listbox(list_frame, yscrollcommand=scrollbar.set, activestyle="none", selectmode="single") |
is_rusinov@58
|
544 handlers.refresh_list() |
is_rusinov@58
|
545 state_list.bind("<ButtonRelease-1>", handlers.list_mouse_release) |
is_rusinov@7
|
546 state_list.pack(side="top", fill="y") |
Ilia@56
|
547 scrollbar.config(command=state_list.yview) |
Ilia@56
|
548 list_frame.pack(side="top") |
Ilia@56
|
549 |
Ilia@59
|
550 manip_frame1 = Frame(automata_window, padx=10, pady=5) |
Ilia@59
|
551 up = Button(manip_frame1, text="Up", command=handlers.upwards, width=10) |
Ilia@59
|
552 to_top = Button(manip_frame1, text="To Top", command=handlers.to_top, width=10) |
Ilia@59
|
553 up.pack(side="left", fill="x") |
Ilia@59
|
554 to_top.pack(side="right", fill="x") |
Ilia@59
|
555 manip_frame1.pack(side="top", fill="x") |
Ilia@59
|
556 |
Ilia@59
|
557 manip_frame2 = Frame(automata_window, padx=10, pady=5) |
Ilia@59
|
558 down = Button(manip_frame2, text="Down", command=handlers.downwards, width=10) |
Ilia@59
|
559 to_bottom = Button(manip_frame2, text="To Bottom", command=handlers.to_bottom, width=10) |
Ilia@59
|
560 down.pack(side="left", fill="x") |
Ilia@59
|
561 to_bottom.pack(side="right", fill="x") |
Ilia@59
|
562 manip_frame2.pack(side="top", fill="x") |
Ilia@59
|
563 |
Ilia@59
|
564 delete = Button(automata_window, text="Delete", command=handlers.delete_state, width=10) |
Ilia@59
|
565 delete.pack(side="top") |
Ilia@6
|
566 |
Ilia@6
|
567 |
Ilia@55
|
568 information = Label(automata_window, text= "Information of State") |
Ilia@9
|
569 information.pack(side="top", fill="x") |
Ilia@55
|
570 info_frame=Frame(automata_window) |
Ilia@9
|
571 Label(info_frame, text="Name").grid(row=0, column=0) |
Ilia@9
|
572 state_name = Entry(info_frame) |
Ilia@9
|
573 state_name.grid(row=0, column=1) |
Ilia@9
|
574 Label(info_frame, text="Symbol").grid(row=1, column=0) |
Ilia@9
|
575 state_symbol = Entry(info_frame) |
Ilia@9
|
576 state_symbol.grid(row=1, column=1) |
Ilia@60
|
577 Label(info_frame, text="Key").grid(row=2, column=0) |
Ilia@9
|
578 state_key = Entry(info_frame) |
Ilia@60
|
579 state_key.grid(row=2, column=1) |
Ilia@60
|
580 Label(info_frame, text="Color").grid(row=3, column=0) |
Ilia@60
|
581 state_color = Label(info_frame, background="white", cursor="plus") |
Ilia@60
|
582 state_color.grid(row=3, column=1, sticky="ew") |
is_rusinov@64
|
583 state_color.bind('<1>', handlers.choose_color) |
Ilia@9
|
584 info_frame.pack(side="top") |
Ilia@9
|
585 |
Ilia@9
|
586 |
Ilia@36
|
587 ckeckbox_nums = [IntVar(), IntVar(), IntVar(), IntVar(), IntVar(), |
Ilia@36
|
588 IntVar(), IntVar(), IntVar(), IntVar()] |
Ilia@33
|
589 |
Ilia@55
|
590 condition = Label(automata_window, text= "Condition of conversion") |
Ilia@9
|
591 condition.pack(side="top", fill="x") |
Ilia@55
|
592 condition_frame=Frame(automata_window) |
Ilia@9
|
593 Label(condition_frame, text="0: ").grid(row=0, column=0) |
Ilia@39
|
594 c_button_0 = Checkbutton(condition_frame, variable=ckeckbox_nums[0]) |
Ilia@36
|
595 c_button_0.grid(row=0, column=1) |
Ilia@9
|
596 Label(condition_frame, text="1: ").grid(row=0, column=2) |
Ilia@39
|
597 c_button_1 = Checkbutton(condition_frame, variable=ckeckbox_nums[1]) |
Ilia@36
|
598 c_button_1.grid(row=0, column=3) |
Ilia@9
|
599 Label(condition_frame, text="2: ").grid(row=0, column=4) |
Ilia@39
|
600 c_button_2 = Checkbutton(condition_frame, variable=ckeckbox_nums[2]) |
Ilia@36
|
601 c_button_2.grid(row=0, column=5) |
Ilia@9
|
602 Label(condition_frame, text="3: ").grid(row=1, column=0) |
Ilia@39
|
603 c_button_3 = Checkbutton(condition_frame, variable=ckeckbox_nums[3]) |
Ilia@36
|
604 c_button_3.grid(row=1, column=1) |
Ilia@9
|
605 Label(condition_frame, text="4: ").grid(row=1, column=2) |
Ilia@39
|
606 c_button_4 = Checkbutton(condition_frame, variable=ckeckbox_nums[4]) |
Ilia@36
|
607 c_button_4.grid(row=1, column=3) |
Ilia@9
|
608 Label(condition_frame, text="5: ").grid(row=1, column=4) |
Ilia@39
|
609 c_button_5 = Checkbutton(condition_frame, variable=ckeckbox_nums[5]) |
Ilia@36
|
610 c_button_5.grid(row=1, column=5) |
Ilia@9
|
611 Label(condition_frame, text="6: ").grid(row=2, column=0) |
Ilia@39
|
612 c_button_6 = Checkbutton(condition_frame, variable=ckeckbox_nums[6]) |
Ilia@36
|
613 c_button_6.grid(row=2, column=1) |
Ilia@9
|
614 Label(condition_frame, text="7: ").grid(row=2, column=2) |
Ilia@39
|
615 c_button_7 = Checkbutton(condition_frame, variable=ckeckbox_nums[7]) |
Ilia@36
|
616 c_button_7.grid(row=2, column=3) |
Ilia@9
|
617 Label(condition_frame, text="8: ").grid(row=2, column=4) |
Ilia@39
|
618 c_button_8 = Checkbutton(condition_frame, variable=ckeckbox_nums[8]) |
Ilia@36
|
619 c_button_8.grid(row=2, column=5) |
Ilia@9
|
620 condition_frame.pack(side="top") |
Ilia@9
|
621 |
Ilia@9
|
622 |
Ilia@59
|
623 add_frame = Frame(automata_window, padx=10, pady=5) |
Ilia@59
|
624 add_state = Button(add_frame, text="Add", command=handlers.add, width=10) |
Ilia@59
|
625 change_state = Button(add_frame, text="Change", command=handlers.change, width=10) |
Ilia@59
|
626 add_state.pack(side="left", fill="x") |
Ilia@59
|
627 change_state.pack(side="right", fill="x") |
Ilia@59
|
628 add_frame.pack(side="top", fill="x") |
Ilia@9
|
629 |
Ilia@55
|
630 error=Label(automata_window) |
Ilia@9
|
631 error.pack(side="top", fill="x") |
is_rusinov@8
|
632 |
is_rusinov@8
|
633 |
is_rusinov@70
|
634 side = IntVar() |
Ilia@12
|
635 |
Ilia@12
|
636 size_window = Toplevel(root) |
Ilia@12
|
637 size_window.title("") |
Ilia@13
|
638 size_window.withdraw() |
Ilia@55
|
639 size_window.resizable(False, False) |
Ilia@12
|
640 size_window.protocol("WM_DELETE_WINDOW", handlers.hide_size_window) |
Ilia@12
|
641 Label(size_window, text= "Current size of window:").pack(side="top", fill="x") |
Ilia@19
|
642 size = Label(size_window, text= str(len(automata.field)) + " x " + str(len(automata.field[0]))) |
Ilia@19
|
643 size.pack(side="top", fill="x") |
Ilia@12
|
644 Label(size_window, text= "New size:").pack(side="top", fill="x") |
Ilia@12
|
645 new_size = Frame(size_window) |
Ilia@12
|
646 size_x = Entry(new_size, width=5) |
Ilia@12
|
647 size_x.grid(row=0, column=0) |
Ilia@12
|
648 Label(new_size, text=" x ").grid(row=0, column=1) |
Ilia@12
|
649 size_y = Entry(new_size, width=5) |
Ilia@12
|
650 size_y.grid(row=0, column=2) |
Ilia@12
|
651 new_size.pack(side="top") |
Ilia@12
|
652 Label(size_window, text= "Expansion of window:").pack(side="top", fill="x") |
Ilia@12
|
653 expansion = Frame(size_window) |
Ilia@12
|
654 r0 = Radiobutton(expansion, variable=side, value = 0, indicatoron=0, width=2, height=1) |
Ilia@12
|
655 r0.select() |
Ilia@12
|
656 r0.grid(row=0, column=0) |
Ilia@12
|
657 r1 = Radiobutton(expansion, variable=side, value = 1, indicatoron=0, width=2, height=1) |
Ilia@12
|
658 r1.grid(row=0, column=1) |
Ilia@12
|
659 r2 = Radiobutton(expansion, variable=side, value = 2, indicatoron=0, width=2, height=1) |
Ilia@12
|
660 r2.grid(row=0, column=2) |
Ilia@12
|
661 r3 = Radiobutton(expansion, variable=side, value = 3, indicatoron=0, width=2, height=1) |
Ilia@12
|
662 r3.grid(row=1, column=0) |
Ilia@12
|
663 r4 = Radiobutton(expansion, variable=side, value = 4, indicatoron=0, width=2, height=1) |
Ilia@12
|
664 r4.grid(row=1, column=1) |
Ilia@12
|
665 r5 = Radiobutton(expansion, variable=side, value = 5, indicatoron=0, width=2, height=1) |
Ilia@12
|
666 r5.grid(row=1, column=2) |
Ilia@12
|
667 r6 = Radiobutton(expansion, variable=side, value = 6, indicatoron=0, width=2, height=1) |
Ilia@12
|
668 r6.grid(row=2, column=0) |
Ilia@12
|
669 r7 = Radiobutton(expansion, variable=side, value = 7, indicatoron=0, width=2, height=1) |
Ilia@12
|
670 r7.grid(row=2, column=1) |
Ilia@12
|
671 r8 = Radiobutton(expansion, variable=side, value = 8, indicatoron=0, width=2, height=1) |
Ilia@12
|
672 r8.grid(row=2, column=2) |
Ilia@12
|
673 expansion.pack(side="top") |
Ilia@12
|
674 Label(size_window).pack(side="top", fill="x") |
Ilia@12
|
675 apply_frame = Frame(size_window, padx=10, pady=5) |
is_rusinov@70
|
676 apply_size = Button(apply_frame, text="Apply", width=6, command=handlers.change_size) |
Ilia@12
|
677 apply_size.pack(side="left", fill="x") |
Ilia@59
|
678 close_size = Button(apply_frame, text="Close", command=handlers.hide_size_window, width=6) |
Ilia@12
|
679 close_size.pack(side="right", fill="x") |
Ilia@12
|
680 apply_frame.pack(side="top", fill="x") |
is_rusinov@70
|
681 message = Label(size_window, text="") |
is_rusinov@70
|
682 message.pack(side="top", fill="x") |
Ilia@6
|
683 menubar = Menu(root) |
Ilia@6
|
684 root.config(menu=menubar) |
Ilia@6
|
685 |
Ilia@6
|
686 menu_file = Menu(menubar) |
Ilia@77
|
687 menu_file.add_command(label="New", command=handlers.new_file, accelerator="Ctrl+N") |
Ilia@77
|
688 menu_file.bind_all("<Control-n>", handlers.new_file) |
Ilia@77
|
689 menu_file.add_command(label="Open...", command=handlers.open_file, accelerator="Ctrl+O") |
Ilia@77
|
690 menu_file.bind_all("<Control-o>", handlers.open_file) |
is_rusinov@76
|
691 menu_file.add_command(label="Save...", command=handlers.save_file, accelerator="Ctrl+S") |
is_rusinov@76
|
692 menu_file.bind_all("<Control-s>", handlers.save_file) |
Ilia@6
|
693 menu_file.add_separator() |
Ilia@77
|
694 menu_file.add_command(label="Exit", command=handlers.exit, accelerator="Ctrl+Q") |
Ilia@77
|
695 menu_file.bind_all("<Control-q>", handlers.exit) |
Ilia@6
|
696 menubar.add_cascade(label="File", menu=menu_file) |
Ilia@6
|
697 |
Ilia@6
|
698 menu_action = Menu(menubar) |
Ilia@77
|
699 menu_action.add_command(label="Start", command=handlers.start, accelerator="Ctrl+G") |
Ilia@77
|
700 menu_action.bind_all("<Control-g>", handlers.start) |
Ilia@77
|
701 menu_action.add_command(label="Stop", command=handlers.stop, accelerator="Ctrl+F") |
Ilia@77
|
702 menu_action.bind_all("<Control-f>", handlers.stop) |
Ilia@77
|
703 menu_action.add_command(label="Next Step", command=handlers.next_step, accelerator="Space") |
Ilia@77
|
704 menu_action.bind_all("<space>", handlers.next_step) |
Ilia@12
|
705 menu_action.add_separator() |
Ilia@77
|
706 menu_action.add_command(label="Increase speed", command=handlers.faster, accelerator="Alt+F") |
Ilia@77
|
707 menu_action.bind_all("<Alt-f>", handlers.faster) |
Ilia@77
|
708 menu_action.add_command(label="Decrease speed", command=handlers.slower, accelerator="Alt+S") |
Ilia@77
|
709 menu_action.bind_all("<Alt-s>", handlers.slower) |
Ilia@12
|
710 menu_action.add_separator() |
Ilia@77
|
711 menu_action.add_command(label="Zoom In", command=handlers.zoom_in, accelerator="Ctrl+Z") |
Ilia@77
|
712 menu_action.bind_all("<Control-z>", handlers.zoom_in) |
Ilia@77
|
713 menu_action.add_command(label="Zoom Out", command=handlers.zoom_out, accelerator="Ctrl+X") |
Ilia@77
|
714 menu_action.bind_all("<Control-x>", handlers.zoom_out) |
Ilia@12
|
715 menu_action.add_separator() |
Ilia@77
|
716 menu_action.add_command(label="Clean field", command=handlers.clean_field, accelerator="Ctrl+C") |
Ilia@77
|
717 menu_action.bind_all("<Control-c>", handlers.clean_field) |
Ilia@77
|
718 menu_action.add_command(label="Fill randomly", command=handlers.fill_randomly, accelerator="Ctrl+R") |
Ilia@77
|
719 menu_action.bind_all("<Control-r>", handlers.fill_randomly) |
Ilia@13
|
720 menu_action.add_separator() |
Ilia@77
|
721 menu_action.add_command(label="Change size",command=handlers.show_size_window, accelerator="Ctrl+D") |
Ilia@77
|
722 menu_action.bind_all("<Control-d>", handlers.show_size_window) |
Ilia@6
|
723 menubar.add_cascade(label="Action", menu=menu_action) |
Ilia@6
|
724 |
Ilia@55
|
725 menubar.add_command(label="Automata", command=handlers.show_automata_window) |
Ilia@6
|
726 |
is_rusinov@43
|
727 menubar.add_command(label="Help", command=handlers.show_help_window) |
Ilia@6
|
728 |
Ilia@6
|
729 root.mainloop() |
Ilia@6
|
730
|