run_digital_watch.py 631 B

1234567891011121314151617181920212223
  1. from Tkinter import *
  2. from DigitalWatchGUI import DigitalWatchGUI
  3. import digitalwatch
  4. from python_runtime.tkinter_eventloop import *
  5. def update(fixed_update_time, controller):
  6. controller.update(fixed_update_time / 1000.0)
  7. root.after(fixed_update_time, update, fixed_update_time, controller)
  8. root = Tk()
  9. root.withdraw()
  10. topLevel = Toplevel(root)
  11. topLevel.resizable(width=NO, height=NO)
  12. topLevel.title("DWatch")
  13. gui = DigitalWatchGUI(topLevel)
  14. try:
  15. controller = digitalwatch.Controller(gui.controller, TkEventLoop(root))
  16. controller.start()
  17. gui.dynamicGUI.setStatechart(controller)
  18. root.mainloop()
  19. finally:
  20. controller.stop()