On 29 Aug 2008, at 15:23, Calum Benson wrote:
Just doing this now... shouldn't the 'session-properties' icon be called 'preferences-system-session' these days, though?
(In which case, the icon already exists in the high contrast themes... but 'session-properties' isn't in the list of legacy icon filenames, so the two aren't currently being symlinked.)
Cheeri, Calum. -- CALUM BENSON, Usability Engineer Sun Microsystems Ireland mailto:calum.benson@xxxxxxx GNOME Desktop Team http://blogs.sun.com/calum +353 1 819 9771 Any opinions are personal and not necessarily those of Sun Microsystems _______________________________________________ Fedora-art-list mailing list Fedora-art-list@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-art-list
