GNOME Bugzilla – Bug 126910
Theme manager lacks option to delete and edit custom themes
Last modified: 2004-12-22 21:47:04 UTC
A usability feature that was requested is the ability to simply (in a userfriendly way) delete a theme that has been created. As it is, the user has lots of "homebrew" theme combinations (this suggests that the need to "save" the theme each time is percieved. Bug?) and they are becoming unmanageable. As the GUI doesn't allow a user to delete a theme, nor to edit an already saved theme, this becomes cluttered and hard to manage.
Thanks; this bug is already reported. As a work-around until this is supported by the theme selector, it does work if you browse to themes:///. *** This bug has been marked as a duplicate of 105432 ***
thanks, forwarding said solution to the enduser, but I must question your choice of bug for duplication: http://bugzilla.gnome.org/show_bug.cgi?id=105432 Package: gnome-terminal Severity: critical Version: 2.0.1 Synopsis: gnome-terminal crash while changing fonts Bugzilla-Product: gnome-terminal
Gar :-) *** This bug has been marked as a duplicate of 105452 ***