Changeset 57:9bc9d3b37525
- Timestamp:
- 12/07/10 16:05:28 (5 years ago)
- Branch:
- default
- Children:
- 58:dd3e42d72f44, 61:73ff328fdcea
- Tags:
- 0.1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Interface.py
r56 r57 €а 342 342 list_frame=Frame(automata_window)€а 343 343 scrollbar = Scrollbar(list_frame)€а 344 €а scrollbar.pack(side= right, fill=Y)€а€а 344 scrollbar.pack(side="right", fill="y")€а 345 345 state_list=Listbox(list_frame, yscrollcommand=scrollbar.set, €а 346 346 selectmode="extended")€а
Note: See TracChangeset
for help on using the changeset viewer.