log src/gui-gtk.c @ 5713:8b5bdc8aebfd

age author description
Sun, 09 Oct 2011 09:51:57 +0100 Aidan Kehoe Mechanically change INT to FIXNUM in our sources.