Hi, I don't have any theme choices there, only change option I have is altering the size of the mouse cursor. I assume what Claessens have is something like the mouse themes in windows where you can have lots of really funky looking mouse pointers. If that is the case I think adding it to the theme manager is the right place as it is more about style than function.
Christian On Tue, 2005-07-26 at 13:00 +0100, Calum Benson wrote: > On Tue, 2005-07-26 at 13:52 +0200, Claessens Xavier wrote: > > > I'm wondering why there is no interface in gnome-theme-manager to switch > > the mouse's theme ? > > It's in gnome-mouse-properties instead. Whether or not that's the right > place is another question, but nobody's complained so far. Maybe they > couldn't find it :) > > Cheeri, > Calum, > _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
