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

cca

annotate Interface.py @ 66:930e2f5f65f1

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