Thu Jan 2 08:57:54 2003 Jonathan Blandford <jrb@gnome.org> * gnome-theme-manager.c: correctly merge disk updates and the current setup. * TODO: Add a TODO