I just noticed that half the directory files in gnome-menus got renamed for superficial reasons this cycle. That needlessly breaks menu-editing for existing installations. Please keep our existing users (and distributions) in mind while doing this kind of stuff.
Thanks, Matthias _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
