chiark / gitweb /
GTK misfires timers at inconvenient moments, sometimes causing a new
authorSimon Tatham <anakin@pobox.com>
Tue, 31 May 2005 08:50:42 +0000 (08:50 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 31 May 2005 08:50:42 +0000 (08:50 +0000)
commit2698fc9e9e29b9ef5578bf79bd4059616d9667d8
tree3ca0fa043a3e6769365ab518837bf48b0d39186a
parentee429c13cd91a43609eb4688c7a20b5c5056662f
GTK misfires timers at inconvenient moments, sometimes causing a new
puzzle of a different size to be redrawn before the pixmap is
resized, and since backends never redraw already-drawn stuff this is
a problem. Was biting me when I entered a Mines game ID of a
different size than the current settings into the Specific box.

[originally from svn r5872]
gtk.c
midend.c
puzzles.h