On Thu, 2005-08-25 at 13:03 +0200, Rodrigo Moya wrote: > it's off by default, so no need to use it if you don't like it.
Well, that's always something :) I still think it sounds a bit like one of those odd preferences that we try to keep out of the UI altogether these days, though... Cheeri, Calum. -- CALUM BENSON, Usability Engineer Sun Microsystems Ireland mailto:[EMAIL PROTECTED] Java Desktop System Group http://ie.sun.com +353 1 819 9771 Any opinions are personal and not necessarily those of Sun Microsystems _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list