CVS update: MODIFIED: src, gui-gtk.c ...