Changeset 94:da7e8ebce313
- Timestamp:
- 12/14/10 14:49:08 (5 years ago)
- Branch:
- default
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
interface.py
r93 r94 ˆà 579 579 manip_frame1 = Frame(automata_window, padx=10, pady=5)ˆà 580 580 up = Button(manip_frame1, text="Up", command=handlers.upwards, width=10)ˆà 581 ˆà to_top = Button(manip_frame1, text="To Top", command=handlers.to_top, width=10)ˆà ˆà 581 to_top = Button(manip_frame1, text="To Top",ˆà ˆà 582 command=handlers.to_top, width=10)ˆà 582 583 up.pack(side="left", fill="x")ˆà 583 584 to_top.pack(side="right", fill="x")ˆà òÀæ òÀæ ˆà 585 586 ˆà 586 587 manip_frame2 = Frame(automata_window, padx=10, pady=5)ˆà 587 ˆà down = Button(manip_frame2, text="Down", command=handlers.downwards, width=10)ˆà ˆà 588 down = Button(manip_frame2, text="Down",ˆà ˆà 589 command=handlers.downwards, width=10)ˆà 588 590 to_bottom = Button(manip_frame2, text="To Bottom",ˆà 589 591 command=handlers.to_bottom, width=10)ˆà òÀæ òÀæ ˆà 667 669 size_window.resizable(False, False)ˆà 668 670 size_window.protocol("WM_DELETE_WINDOW", handlers.hide_size_window)ˆà 669 ˆà Label(size_window, text="Current size of window:").pack(side="top", fill="x")ˆàˆà 671 Label(size_window, text="Current window size:").pack(side="top", fill="x")ˆà 670 672 size_label = Label(size_window)ˆà 671 673 size_label.pack(side="top", fill="x")ˆà òÀæ òÀæ ˆà 767 769 accelerator="Ctrl+C")ˆà 768 770 menu_action.bind_all("<Control-c>", handlers.clean_field)ˆà 769 ˆà menu_action.add_command(label="Fill randomly", command=handlers.fill_randomly,ˆà ˆà 771 menu_action.add_command(label="Fill randomly",ˆà ˆà 772 command=handlers.fill_randomly,ˆà 770 773 accelerator="Ctrl+R")ˆà 771 774 menu_action.bind_all("<Control-r>", handlers.fill_randomly)ˆà 772 775 menu_action.add_separator()ˆà 773 ˆà menu_action.add_command(label="Change size",command=handlers.show_size_window,ˆà ˆà 776 menu_action.add_command(label="Change size",ˆà ˆà 777 command=handlers.show_size_window,ˆà 774 778 accelerator="Ctrl+D")ˆà 775 779 menu_action.bind_all("<Control-d>", handlers.show_size_window)ˆà
Note: See TracChangeset
for help on using the changeset viewer.