GNOME Bugzilla – Bug 347503
Deleting default brushes
Last modified: 2008-01-15 13:09:46 UTC
It should be possible to delete default brushes from the selecting brushes menu. By default, there are many ones there, that an user would not use and they needlessly clutter up the menu. Anyhow, full configurability is what should be tended to in any case.
See bug #118742. *** This bug has been marked as a duplicate of 118742 ***