0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trackplacer: factor out the flush() function for cleaner animation.

Browse source
This commit is contained in:
Eric S. Raymond 2008-10-18 04:49:11 +00:00
parent 73909b1440
commit c4f8332cec
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
data/tools/trackplacer
View file

@ -674,6 +674,12 @@ class TracksEditor:
self.pixmap.draw_pixbuf(self.default_gc, icon, 0, 0, *rect)
widget.queue_draw_area(*rect)
def flush(self, widget):
"Force pending events out."
self.expose_event(widget)
while gtk.events_pending():
gtk.main_iteration(False)
def redraw(self, widget, delay=0):
"Redraw the map and tracks."
self.refresh_map()
@ -686,6 +692,7 @@ class TracksEditor:
self.draw_feature(widget, item, False)
if delay:
time.sleep(delay)
self.flush(widget)
for id in self.journey.track_order:
track = self.journey.tracks[id]
if id in self.visible_set and id == self.journey.selected_id:
@ -693,9 +700,8 @@ class TracksEditor:
self.draw_feature(widget, item, True)
if delay:
time.sleep(delay)
self.expose_event(widget)
while gtk.events_pending():
gtk.main_iteration(False)
self.flush(widget)
self.flush(widget)
def configure_event(self, widget, event):
"Create a new backing pixmap of the appropriate size."