GTK misfires timers at inconvenient moments, sometimes causing a new
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 31 May 2005 08:50:42 +0000 (08:50 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 31 May 2005 08:50:42 +0000 (08:50 +0000)
commit008b4378244bc9da9bc021598c8ff6d75a420593
tree3ca0fa043a3e6769365ab518837bf48b0d39186a
parent27a79972a58287f3f410ea528472f3994cb441b3
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.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@5872 cda61777-01e9-0310-a592-d414129be87e
gtk.c
midend.c
puzzles.h