chiark / gitweb /
More robust timer handling in GTK: never create a new timer when one
-rw-r--r-- 42 .cvsignore
-rw-r--r-- 637 Recipe
-rw-r--r-- 37218 cube.c
-rw-r--r-- 11802 gtk.c
-rw-r--r-- 979 malloc.c
-rw-r--r-- 6701 midend.c
-rw-r--r-- 36471 net.c
-rw-r--r-- 3320 puzzles.h
-rw-r--r-- 6130 random.c
-rw-r--r-- 64089 tree234.c
-rw-r--r-- 7226 tree234.h
-rw-r--r-- 9691 windows.c