use an Event to signal when to redraw the gui
authorecdsa <ecdsa@github>
Sat, 27 Apr 2013 17:17:36 +0000 (19:17 +0200)
committerecdsa <ecdsa@github>
Sat, 27 Apr 2013 17:17:36 +0000 (19:17 +0200)
commit7d1075d85d355c30b224caede4416a8173ca97e4
tree862168ee441246a54a85c5e8d993fd58ebe29b13
parentdf135641557ac5bdc610efff848d52ad4bc951ce
use an Event to signal when to redraw the gui
gui/gui_classic.py