Документ взят из кэша поисковой машины. Адрес оригинального документа : http://kodomo.fbb.msu.ru/hg/cca/annotate/bf831181327c/Interface.py
Дата изменения: Unknown
Дата индексирования: Fri Feb 28 23:48:25 2014
Кодировка:
cca: Interface.py annotate

cca

annotate Interface.py @ 55:bf831181327c

find changesets by author, revision, files, or words in the commit message
make of window
author Ilia
date Tue, 07 Dec 2010 14:14:03 +0300
parents cd1c0983d3b6
children df6c4316ca72
rev   line source
Ilia@6 1 from Tkinter import *
Ilia@2 2
is_rusinov@18 3 from State import *
is_rusinov@18 4 from Automata import *
is_rusinov@18 5
is_rusinov@18 6
Ilia@2 7 class Handlers(object):
is_rusinov@5 8
is_rusinov@54 9 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 10 self.cell_size = cell_size
is_rusinov@18 11 self.line_width = line_width
is_rusinov@7 12 self.delay = delay
Ilia@6 13 self.offset_x = offset_x
Ilia@6 14 self.offset_y = offset_y
is_rusinov@5 15 self.after_id = 0
is_rusinov@54 16 self.enter1_bound = False
is_rusinov@54 17 self.enter3_bound = False
is_rusinov@51 18 self.mouse_offset_x = 0
is_rusinov@51 19 self.mouse_offset_y = 0
is_rusinov@18 20 self.mouse_zoom = 0
is_rusinov@54 21 self.zoom_divisor = 1
is_rusinov@7 22 self.is_started = False
is_rusinov@54 23 self.char = None
is_rusinov@18 24 self.keys = dict()
is_rusinov@29 25 self.draw()
is_rusinov@5 26 def start(self):
is_rusinov@8 27 if not self.is_started:
is_rusinov@7 28 self.is_started = True
is_rusinov@43 29 self.repeat()
is_rusinov@43 30 def repeat(self):
is_rusinov@43 31 self.next_step()
is_rusinov@43 32 self.after_id = canvas.after(self.delay, self.repeat)
is_rusinov@5 33
is_rusinov@5 34 def stop(self):
is_rusinov@29 35 canvas.after_cancel(self.after_id)
is_rusinov@7 36 self.is_started = False
is_rusinov@5 37
is_rusinov@5 38 def next_step(self):
is_rusinov@53 39 self.draw_cell(automata.next_step())
is_rusinov@5 40
is_rusinov@18 41 def save_file(self):
Ilia@2 42 pass
is_rusinov@5 43
is_rusinov@18 44 def open_file(self):
Ilia@2 45 pass
is_rusinov@5 46
is_rusinov@29 47 def show_help_window(self):
Ilia@2 48 pass
is_rusinov@5 49
is_rusinov@29 50 def hide_help_window(self):
is_rusinov@8 51 pass
is_rusinov@8 52
is_rusinov@8 53 def zoom_in(self, zoom_rate=1):
is_rusinov@7 54 if self.cell_size < 50:
is_rusinov@8 55 self.cell_size = self.cell_size + zoom_rate
is_rusinov@7 56 self.draw()
is_rusinov@5 57
is_rusinov@8 58 def zoom_out(self, zoom_rate=1):
is_rusinov@7 59 if self.cell_size > 1:
is_rusinov@8 60 self.cell_size = self.cell_size - zoom_rate
is_rusinov@7 61 self.draw()
is_rusinov@5 62
is_rusinov@8 63 def slower(self, speed_rate=1):
is_rusinov@7 64 self.delay = self.delay + speed_rate
is_rusinov@5 65
is_rusinov@8 66 def faster(self, speed_rate=1):
is_rusinov@29 67 if self.delay > speed_rate:
is_rusinov@7 68 self.delay = self.delay - speed_rate
is_rusinov@7 69 else:
is_rusinov@7 70 self.delay = 0
is_rusinov@5 71
is_rusinov@18 72 def change_size(self, dx, dy, position=0):
is_rusinov@8 73 if position < 9:
is_rusinov@8 74 if position == 0 or position == 3 or position == 6:
is_rusinov@8 75 automata.change_size(dx, 3)
is_rusinov@8 76 elif position == 1 or position == 4 or position == 7:
is_rusinov@8 77 automata.change_size(dx / 2, 3)
is_rusinov@8 78 automata.change_size(dx - dx / 2, 1)
is_rusinov@18 79 else:
is_rusinov@8 80 automata.change_size(dx, 1)
is_rusinov@8 81 if position == 0 or position == 1 or position == 2:
is_rusinov@8 82 automata.change_size(dy, 0)
is_rusinov@8 83 elif position == 3 or position == 4 or position == 5:
is_rusinov@8 84 automata.change_size(dy / 2, 0)
is_rusinov@8 85 automata.change_size(dy - dy / 2, 2)
is_rusinov@18 86 else:
is_rusinov@8 87 automata.change_size(dy, 2)
is_rusinov@8 88 self.draw()
is_rusinov@5 89
darkhan@50 90 def draw_cell(self, cells):
darkhan@50 91 for row, col in cells:
darkhan@42 92 index = automata.symbols[automata.field[row][col]]
darkhan@42 93 color = automata.states[index].color
darkhan@42 94 canvas.itemconfig(self.cells[row][col], fill=color)
darkhan@42 95
darkhan@32 96 def draw(self):
darkhan@31 97 canvas.delete("all")
darkhan@42 98 self.cells = []
darkhan@31 99
darkhan@31 100 shift = self.cell_size + self.line_width
darkhan@42 101
darkhan@42 102 left = -self.offset_x + self.line_width
darkhan@42 103 top = -self.offset_y + self.line_width
darkhan@31 104 for row in range(automata.height):
darkhan@42 105 self.cells.append([])
darkhan@31 106 for col in range(automata.width):
darkhan@31 107 index = automata.symbols[automata.field[row][col]]
darkhan@31 108 color = automata.states[index].color
darkhan@42 109 cell = canvas.create_rectangle(left + col * shift,
darkhan@31 110 top + row * shift,
darkhan@31 111 left + col * shift + self.cell_size,
darkhan@31 112 top + row * shift + self.cell_size,
darkhan@50 113 fill=color, outline="", tag="cell")
darkhan@42 114 self.cells[row].append(cell)
is_rusinov@5 115
is_rusinov@7 116 def press1(self, event):# drawer
is_rusinov@54 117 if self.enter1_bound:
is_rusinov@54 118 canvas.tag_unbind("cell", "<Enter>")
is_rusinov@54 119 self.enter1_bound = False
is_rusinov@54 120 else:
is_rusinov@54 121 column = (event.x - self.offset_x * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@54 122 row = (event.y - self.offset_y * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@54 123 index = (automata.symbols[automata.field[row][column]] + 1) % len(automata.states)
is_rusinov@54 124 if self.char != None and self.keys.has_key(self.char):
is_rusinov@54 125 index = self.keys[self.char]
is_rusinov@54 126 automata.field[row][column] = automata.states[index].symbol
is_rusinov@54 127 self.draw_cell([(row, column)])
is_rusinov@54 128
is_rusinov@54 129 def d_press1(self, event):# drawer
is_rusinov@54 130 canvas.tag_bind("cell", "<Enter>", self.enter1)
is_rusinov@54 131 self.enter1_bound = True
is_rusinov@54 132
is_rusinov@54 133 def enter1(self, event):
is_rusinov@26 134 column = (event.x - self.offset_x * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@26 135 row = (event.y - self.offset_y * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@18 136 index = (automata.symbols[automata.field[row][column]] + 1) % len(automata.states)
is_rusinov@54 137 if self.char != None and self.keys.has_key(self.char):
is_rusinov@54 138 index = self.keys[self.char]
is_rusinov@18 139 automata.field[row][column] = automata.states[index].symbol
is_rusinov@53 140 self.draw_cell([(row, column)])
is_rusinov@5 141
is_rusinov@7 142 def press3(self, event):# drawer
is_rusinov@54 143 if self.enter3_bound:
is_rusinov@54 144 canvas.tag_unbind("cell", "<Enter>")
is_rusinov@54 145 self.enter3_bound = False
is_rusinov@54 146 else:
is_rusinov@54 147 column = (event.x - self.offset_x * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@54 148 row = (event.y - self.offset_y * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@54 149 index = (automata.symbols[automata.field[row][column]] + len(automata.states) - 1) % len(automata.states)
is_rusinov@54 150 automata.field[row][column] = automata.states[index].symbol
is_rusinov@54 151 self.draw_cell([(row, column)])
is_rusinov@54 152
is_rusinov@54 153 def d_press3(self, event):# drawer
is_rusinov@54 154 canvas.tag_bind("cell", "<Enter>", self.enter3)
is_rusinov@54 155 self.enter3_bound = True
is_rusinov@54 156
is_rusinov@54 157 def enter3(self, event):
is_rusinov@26 158 column = (event.x - self.offset_x * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@26 159 row = (event.y - self.offset_y * (self.cell_size + self.line_width)) / (self.cell_size + self.line_width)
is_rusinov@54 160 index = (automata.symbols[automata.field[row][column]] - 1) % len(automata.states)
is_rusinov@18 161 automata.field[row][column] = automata.states[index].symbol
is_rusinov@53 162 self.draw_cell([(row, column)])
is_rusinov@5 163
is_rusinov@54 164 def press_key(self, event):# drawer
is_rusinov@54 165 self.char = event.char
is_rusinov@5 166
is_rusinov@54 167 def release_key(self, event):# drawer
is_rusinov@54 168 self.char = None
is_rusinov@18 169
is_rusinov@43 170 def press1_ctrl(self, event):# change_offset (B1+ctrl)
is_rusinov@54 171 canvas.focus_set()
is_rusinov@51 172 self.mouse_offset_x = event.x
is_rusinov@51 173 self.mouse_offset_y = event.y
is_rusinov@18 174
is_rusinov@43 175 def motion1_ctrl(self, event):# change_offset (B1+ctrl)
is_rusinov@51 176 self.offset_x = (event.x - self.mouse_offset_x) / (self.cell_size + self.line_width)
is_rusinov@51 177 self.offset_y = (event.y - self.mouse_offset_y) / (self.cell_size + self.line_width)
is_rusinov@51 178 self.mouse_offset_x = event.x
is_rusinov@51 179 self.mouse_offset_y = event.y
is_rusinov@18 180 self.draw()
is_rusinov@5 181
is_rusinov@43 182 def press13(self, event):# zoom
is_rusinov@54 183 canvas.focus_set()
is_rusinov@18 184 self.mouse_zoom = event.y
is_rusinov@5 185
is_rusinov@43 186 def motion13(self, event):# zoom
is_rusinov@18 187 delta = (event.y - self.mouse_zoom) / self.zoom_divisor
is_rusinov@18 188 self.cell_size = self.cell_size + delta
is_rusinov@18 189 if self.cell_size > 50:
is_rusinov@18 190 self.cell_size = 50
is_rusinov@18 191 if self.cell_size < 1:
is_rusinov@18 192 self.cell_size = 1
is_rusinov@18 193 self.mouse_zoom = event.y
is_rusinov@18 194 self.draw()
is_rusinov@5 195
is_rusinov@8 196 def to_top(self):# replace choosen state to top
is_rusinov@51 197 index = automata.symbols.get(state_list.get("active").split()[0])
is_rusinov@29 198 state = automata.states[index]
is_rusinov@29 199 del automata.states[index]
is_rusinov@29 200 automata.states.insert(0, state)
is_rusinov@54 201 state_list.delete(index)
is_rusinov@54 202 state_list.insert(0, state)
is_rusinov@7 203
is_rusinov@8 204 def to_bottom(self):# replace choosen state to botton
is_rusinov@51 205 index = automata.symbols.get(state_list.get("active").split()[0])
is_rusinov@29 206 state = automata.states[index]
is_rusinov@29 207 del automata.states[index]
is_rusinov@29 208 automata.states.append(state)
is_rusinov@54 209 state_list.delete(index)
is_rusinov@54 210 state_list.insert("end", state)
is_rusinov@7 211
is_rusinov@8 212 def upwards(self):
is_rusinov@51 213 index = automata.symbols.get(state_list.get("active").split()[0])
is_rusinov@29 214 state = automata.states[index]
is_rusinov@29 215 del automata.states[index]
is_rusinov@29 216 automata.states.insert(index - 1, state)
is_rusinov@54 217 state_list.delete(index)
is_rusinov@54 218 state_list.insert(index - 1, state)
is_rusinov@7 219
is_rusinov@8 220 def downwards(self):
is_rusinov@51 221 index = automata.symbols.get(state_list.get("active").split()[0])
is_rusinov@29 222 state = automata.states[index]
is_rusinov@29 223 del automata.states[index]
is_rusinov@29 224 automata.states.insert(index + 1, state)
is_rusinov@54 225 state_list.delete(index)
is_rusinov@54 226 state_list.insert(index + 1, state)
is_rusinov@7 227
is_rusinov@8 228 def delete_state(self):# delete choosen state
is_rusinov@51 229 index = automata.symbols.get(state_list.get("active").split()[0])
is_rusinov@29 230 del automata.states[index]
is_rusinov@54 231 state_list.delete(index)
is_rusinov@7 232
is_rusinov@18 233 def add(self):# add new state
is_rusinov@29 234 name = state_name.get()
is_rusinov@48 235 symbol = state_symbol.get()
is_rusinov@54 236 key = state_key.get().lower()
is_rusinov@29 237 color = state_color.get()
is_rusinov@29 238 nums = []
is_rusinov@29 239 for i, value in enumerate(ckeckbox_nums):
is_rusinov@29 240 if value:
is_rusinov@29 241 nums.append(i)
is_rusinov@54 242 if self.keys.has_key(key):
is_rusinov@29 243 error.config(text="State with such key has already existed")
is_rusinov@29 244 state_key.focus()
is_rusinov@29 245 elif len(key) != 1:
is_rusinov@29 246 error.config(text="Bad key for state")
is_rusinov@29 247 state_key.focus()
is_rusinov@29 248 elif automata.symbols.has_key(symbol):
is_rusinov@29 249 error.config(text="State with such symbol has already existed")
is_rusinov@29 250 state_symbol.focus()
is_rusinov@29 251 elif len(symbol) != 1:
is_rusinov@29 252 error.config(text="Bad symbol for state")
is_rusinov@29 253 state_symbol.focus()
is_rusinov@29 254 else:
is_rusinov@29 255 state = State(name, symbol, color, nums)
is_rusinov@29 256 automata.states.append(state)
is_rusinov@34 257 automata.symbols[symbol] = len(automata.states) - 1
is_rusinov@34 258 self.keys[key] = len(automata.states) - 1
is_rusinov@54 259 state_list.insert("end", state)
is_rusinov@5 260
is_rusinov@18 261 def change(self):# change chosen state
is_rusinov@54 262 index = automata.symbols.get(state_list.get("active").split()[0])
is_rusinov@54 263 name = state_name.get()
is_rusinov@54 264 symbol = state_symbol.get()
is_rusinov@54 265 key = state_key.get().lower()
is_rusinov@54 266 color = state_color.get()
is_rusinov@54 267 nums = []
is_rusinov@54 268 for i, value in enumerate(ckeckbox_nums):
is_rusinov@54 269 print i, value.get()
is_rusinov@54 270 if value.get() == 1:
is_rusinov@54 271 nums.append(i)
is_rusinov@54 272 print nums
is_rusinov@54 273 if self.keys.has_key(key) and self.keys[key] != index:
is_rusinov@54 274 error.config(text="State with such key has already existed")
is_rusinov@54 275 state_key.focus()
is_rusinov@54 276 elif len(key) != 1:
is_rusinov@54 277 error.config(text="Bad key for state")
is_rusinov@54 278 state_key.focus()
is_rusinov@54 279 elif automata.symbols.has_key(symbol) and automata.symbols[symbol] != index:
is_rusinov@54 280 error.config(text="State with such symbol has already existed")
is_rusinov@54 281 state_symbol.focus()
is_rusinov@54 282 elif len(symbol) != 1:
is_rusinov@54 283 error.config(text="Bad symbol for state")
is_rusinov@54 284 state_symbol.focus()
is_rusinov@54 285 else:
is_rusinov@54 286 state = State(name, symbol, color, nums)
is_rusinov@54 287 automata.states[index] = state
is_rusinov@54 288 automata.symbols[symbol] = index
is_rusinov@54 289 self.keys[key] = index
is_rusinov@54 290 state_list.delete(index)
is_rusinov@54 291 state_list.insert(index, state)
is_rusinov@54 292
is_rusinov@18 293 def show_size_window(self):
is_rusinov@18 294 size_window.deiconify()
Ilia@55 295
is_rusinov@18 296 def hide_size_window(self):
is_rusinov@18 297 size_window.withdraw()
Ilia@55 298
Ilia@55 299 def show_automata_window(self):
Ilia@55 300 automata_window.deiconify()
Ilia@55 301
Ilia@55 302 def hide_automata_window(self):
Ilia@55 303 automata_window.withdraw()
Ilia@55 304
Ilia@55 305
Ilia@6 306
Ilia@6 307
Ilia@6 308 root = Tk()
Ilia@36 309 root.title("Cyclic Cellular Automata")
Ilia@6 310
darkhan@42 311 canvas = Canvas(root, background="grey")
Ilia@6 312 canvas.config(width=500, height=400)
Ilia@6 313
is_rusinov@54 314 automata = Automata()
Ilia@36 315 handlers = Handlers()
Ilia@36 316
is_rusinov@54 317 canvas.tag_bind("cell", "<1>", handlers.press1)
is_rusinov@54 318 canvas.tag_bind("cell", "<Double-Button-1>", handlers.d_press1)
is_rusinov@54 319 canvas.tag_bind("cell", "<3>", handlers.press3)
is_rusinov@54 320 canvas.tag_bind("cell", "<Double-Button-3>", handlers.d_press3)
is_rusinov@54 321 canvas.bind_all("<KeyPress>", handlers.press_key)
is_rusinov@54 322 canvas.bind_all("<KeyRelease>", handlers.release_key)
is_rusinov@54 323 #canvas.bind("<Control-ButtonPress-1>", handlers.press1_ctrl)
is_rusinov@54 324 #canvas.bind("<Control-B1-Motion>", handlers.motion1_ctrl)
is_rusinov@54 325 #canvas.bind("<Shift-ButtonPress-1>", handlers.press13)
is_rusinov@54 326 #canvas.bind("<Shift-ButtonPress-1>", handlers.motion13)
Ilia@36 327
Ilia@36 328 canvas.pack(fill="both", expand="yes")
Ilia@6 329
Ilia@6 330 #infoPanel=Frame
Ilia@55 331 automata_window = Toplevel(root)
Ilia@55 332 automata_window.title("Automata")
Ilia@55 333 automata_window.withdraw()
Ilia@55 334 automata_window.resizable(False, False)
Ilia@55 335 automata_window.protocol("WM_DELETE_WINDOW", handlers.hide_automata_window)
Ilia@9 336
Ilia@55 337 headline = Label(automata_window, text= "Automata Panel", font=16)
Ilia@55 338 headline.pack(side="top",fill="both", expand="no")
Ilia@9 339
Ilia@55 340 Label(automata_window, text= "State Box:").pack(side="top", fill="x")
Ilia@55 341 state_list=Listbox(automata_window, selectmode="extended")
Ilia@36 342 for state in automata.states:
is_rusinov@7 343 state_list.insert("end", state)
is_rusinov@7 344 state_list.pack(side="top", fill="y")
Ilia@55 345 up = Button(automata_window, text="Up", command=handlers.upwards)
Ilia@6 346 up.config(bg="red")
Ilia@55 347 down = Button(automata_window, text="Down", command=handlers.downwards)
Ilia@6 348 down.config(bg="orange")
Ilia@55 349 to_top = Button(automata_window, text="To Top", command=handlers.to_top)
Ilia@6 350 to_top.config(bg="yellow")
Ilia@55 351 to_bottom = Button(automata_window, text="To Bottom", command=handlers.to_bottom)
Ilia@6 352 to_bottom.config(bg="green")
Ilia@55 353 delete = Button(automata_window, text="Delete", command=handlers.delete_state)
Ilia@9 354 delete.config(bg="cyan")
Ilia@6 355 up.pack(side="top", fill="x")
Ilia@6 356 down.pack(side="top", fill="x")
Ilia@6 357 to_top.pack(side="top", fill="x")
Ilia@6 358 to_bottom.pack(side="top", fill="x")
Ilia@9 359 delete.pack(side="top", fill="x")
Ilia@6 360
Ilia@6 361
Ilia@55 362 information = Label(automata_window, text= "Information of State")
Ilia@9 363 information.pack(side="top", fill="x")
Ilia@55 364 info_frame=Frame(automata_window)
Ilia@9 365 Label(info_frame, text="Name").grid(row=0, column=0)
Ilia@9 366 state_name = Entry(info_frame)
Ilia@9 367 state_name.grid(row=0, column=1)
Ilia@9 368 Label(info_frame, text="Symbol").grid(row=1, column=0)
Ilia@9 369 state_symbol = Entry(info_frame)
Ilia@9 370 state_symbol.grid(row=1, column=1)
Ilia@9 371 Label(info_frame, text="Color").grid(row=2, column=0)
Ilia@9 372 state_color = Entry(info_frame)
Ilia@9 373 state_color.grid(row=2, column=1)
Ilia@9 374 Label(info_frame, text="Key").grid(row=3, column=0)
Ilia@9 375 state_key = Entry(info_frame)
Ilia@9 376 state_key.grid(row=3, column=1)
Ilia@9 377 info_frame.pack(side="top")
Ilia@9 378
Ilia@9 379
Ilia@36 380 ckeckbox_nums = [IntVar(), IntVar(), IntVar(), IntVar(), IntVar(),
Ilia@36 381 IntVar(), IntVar(), IntVar(), IntVar()]
Ilia@33 382
Ilia@55 383 condition = Label(automata_window, text= "Condition of conversion")
Ilia@9 384 condition.pack(side="top", fill="x")
Ilia@55 385 condition_frame=Frame(automata_window)
Ilia@9 386 Label(condition_frame, text="0: ").grid(row=0, column=0)
Ilia@39 387 c_button_0 = Checkbutton(condition_frame, variable=ckeckbox_nums[0])
Ilia@36 388 c_button_0.grid(row=0, column=1)
Ilia@9 389 Label(condition_frame, text="1: ").grid(row=0, column=2)
Ilia@39 390 c_button_1 = Checkbutton(condition_frame, variable=ckeckbox_nums[1])
Ilia@36 391 c_button_1.grid(row=0, column=3)
Ilia@9 392 Label(condition_frame, text="2: ").grid(row=0, column=4)
Ilia@39 393 c_button_2 = Checkbutton(condition_frame, variable=ckeckbox_nums[2])
Ilia@36 394 c_button_2.grid(row=0, column=5)
Ilia@9 395 Label(condition_frame, text="3: ").grid(row=1, column=0)
Ilia@39 396 c_button_3 = Checkbutton(condition_frame, variable=ckeckbox_nums[3])
Ilia@36 397 c_button_3.grid(row=1, column=1)
Ilia@9 398 Label(condition_frame, text="4: ").grid(row=1, column=2)
Ilia@39 399 c_button_4 = Checkbutton(condition_frame, variable=ckeckbox_nums[4])
Ilia@36 400 c_button_4.grid(row=1, column=3)
Ilia@9 401 Label(condition_frame, text="5: ").grid(row=1, column=4)
Ilia@39 402 c_button_5 = Checkbutton(condition_frame, variable=ckeckbox_nums[5])
Ilia@36 403 c_button_5.grid(row=1, column=5)
Ilia@9 404 Label(condition_frame, text="6: ").grid(row=2, column=0)
Ilia@39 405 c_button_6 = Checkbutton(condition_frame, variable=ckeckbox_nums[6])
Ilia@36 406 c_button_6.grid(row=2, column=1)
Ilia@9 407 Label(condition_frame, text="7: ").grid(row=2, column=2)
Ilia@39 408 c_button_7 = Checkbutton(condition_frame, variable=ckeckbox_nums[7])
Ilia@36 409 c_button_7.grid(row=2, column=3)
Ilia@9 410 Label(condition_frame, text="8: ").grid(row=2, column=4)
Ilia@39 411 c_button_8 = Checkbutton(condition_frame, variable=ckeckbox_nums[8])
Ilia@36 412 c_button_8.grid(row=2, column=5)
Ilia@9 413 condition_frame.pack(side="top")
Ilia@9 414
Ilia@9 415
Ilia@55 416 add_state = Button(automata_window, text="Add", command=handlers.add)
Ilia@9 417 add_state.config(bg="blue")
Ilia@55 418 change_state = Button(automata_window, text="Change", command=handlers.change)
Ilia@9 419 change_state.config(bg="violet")
Ilia@9 420 add_state.pack(side="top", fill="x")
Ilia@9 421 change_state.pack(side="top", fill="x")
Ilia@9 422
Ilia@55 423 error=Label(automata_window)
Ilia@9 424 error.pack(side="top", fill="x")
is_rusinov@8 425
is_rusinov@8 426
Ilia@12 427 side = 0
Ilia@12 428
Ilia@12 429 size_window = Toplevel(root)
Ilia@12 430 size_window.title("")
Ilia@13 431 size_window.withdraw()
Ilia@55 432 size_window.resizable(False, False)
Ilia@12 433 size_window.protocol("WM_DELETE_WINDOW", handlers.hide_size_window)
Ilia@12 434 Label(size_window, text= "Current size of window:").pack(side="top", fill="x")
Ilia@19 435 size = Label(size_window, text= str(len(automata.field)) + " x " + str(len(automata.field[0])))
Ilia@19 436 size.pack(side="top", fill="x")
Ilia@12 437 Label(size_window, text= "New size:").pack(side="top", fill="x")
Ilia@12 438 new_size = Frame(size_window)
Ilia@12 439 size_x = Entry(new_size, width=5)
Ilia@12 440 size_x.grid(row=0, column=0)
Ilia@12 441 Label(new_size, text=" x ").grid(row=0, column=1)
Ilia@12 442 size_y = Entry(new_size, width=5)
Ilia@12 443 size_y.grid(row=0, column=2)
Ilia@12 444 new_size.pack(side="top")
Ilia@12 445 Label(size_window, text= "Expansion of window:").pack(side="top", fill="x")
Ilia@12 446 expansion = Frame(size_window)
Ilia@12 447 r0 = Radiobutton(expansion, variable=side, value = 0, indicatoron=0, width=2, height=1)
Ilia@12 448 r0.select()
Ilia@12 449 r0.grid(row=0, column=0)
Ilia@12 450 r1 = Radiobutton(expansion, variable=side, value = 1, indicatoron=0, width=2, height=1)
Ilia@12 451 r1.grid(row=0, column=1)
Ilia@12 452 r2 = Radiobutton(expansion, variable=side, value = 2, indicatoron=0, width=2, height=1)
Ilia@12 453 r2.grid(row=0, column=2)
Ilia@12 454 r3 = Radiobutton(expansion, variable=side, value = 3, indicatoron=0, width=2, height=1)
Ilia@12 455 r3.grid(row=1, column=0)
Ilia@12 456 r4 = Radiobutton(expansion, variable=side, value = 4, indicatoron=0, width=2, height=1)
Ilia@12 457 r4.grid(row=1, column=1)
Ilia@12 458 r5 = Radiobutton(expansion, variable=side, value = 5, indicatoron=0, width=2, height=1)
Ilia@12 459 r5.grid(row=1, column=2)
Ilia@12 460 r6 = Radiobutton(expansion, variable=side, value = 6, indicatoron=0, width=2, height=1)
Ilia@12 461 r6.grid(row=2, column=0)
Ilia@12 462 r7 = Radiobutton(expansion, variable=side, value = 7, indicatoron=0, width=2, height=1)
Ilia@12 463 r7.grid(row=2, column=1)
Ilia@12 464 r8 = Radiobutton(expansion, variable=side, value = 8, indicatoron=0, width=2, height=1)
Ilia@12 465 r8.grid(row=2, column=2)
Ilia@12 466 expansion.pack(side="top")
Ilia@12 467 Label(size_window).pack(side="top", fill="x")
Ilia@12 468 apply_frame = Frame(size_window, padx=10, pady=5)
Ilia@12 469 apply_size = Button(apply_frame, text="Apply")
Ilia@12 470 apply_size.config(bg="yellow")
Ilia@12 471 apply_size.pack(side="left", fill="x")
Ilia@12 472 close_size = Button(apply_frame, text="Close", command=handlers.hide_size_window)
Ilia@12 473 close_size.config(bg="green")
Ilia@12 474 close_size.pack(side="right", fill="x")
Ilia@12 475 apply_frame.pack(side="top", fill="x")
Ilia@12 476
Ilia@6 477 menubar = Menu(root)
Ilia@6 478 root.config(menu=menubar)
Ilia@6 479
Ilia@6 480 menu_file = Menu(menubar)
Ilia@6 481 menu_file.add_command(label="New")
Ilia@9 482 menu_file.add_command(label="Open...", command=handlers.open_file)
Ilia@9 483 menu_file.add_command(label="Save...", command=handlers.save_file)
Ilia@6 484 menu_file.add_separator()
Ilia@9 485 menu_file.add_command(label="Exit", command=root.destroy)
Ilia@6 486 menubar.add_cascade(label="File", menu=menu_file)
Ilia@6 487
Ilia@6 488 menu_action = Menu(menubar)
Ilia@9 489 menu_action.add_command(label="Start", command=handlers.start)
Ilia@9 490 menu_action.add_command(label="Stop", command=handlers.stop)
Ilia@9 491 menu_action.add_command(label="Next Step", command=handlers.next_step)
Ilia@12 492 menu_action.add_separator()
Ilia@9 493 menu_action.add_command(label="Increase speed", command=handlers.faster)
Ilia@9 494 menu_action.add_command(label="Decrease speed", command=handlers.slower)
Ilia@12 495 menu_action.add_separator()
Ilia@9 496 menu_action.add_command(label="Zoom In", command=handlers.zoom_in)
Ilia@9 497 menu_action.add_command(label="Zoom Out", command=handlers.zoom_out)
Ilia@12 498 menu_action.add_separator()
Ilia@6 499 menu_action.add_command(label="Clean field")
Ilia@6 500 menu_action.add_command(label="Fill randomly")
Ilia@13 501 menu_action.add_separator()
Ilia@12 502 menu_action.add_command(label="Change size",command=handlers.show_size_window)
Ilia@6 503 menubar.add_cascade(label="Action", menu=menu_action)
Ilia@6 504
Ilia@55 505 menubar.add_command(label="Automata", command=handlers.show_automata_window)
Ilia@6 506
is_rusinov@43 507 menubar.add_command(label="Help", command=handlers.show_help_window)
Ilia@6 508
Ilia@6 509 root.mainloop()
Ilia@6 510