GNOME Bugzilla – Bug 515621
draw editor buttons without relief
Last modified: 2008-02-10 20:53:53 UTC
I think the interface looks considerably nicer if the buttons that appear at the bottom of several editor widgets are drawn without relief. I am going to raise this topic on the developer's list -- I am filing this enhancement request in order to have a place to attach a screenshot and an (almost trivial) patch that does it.
Created attachment 104863 [details] screenshot showing several docks with altered buttons
Created attachment 104864 [details] [review] patch for app/widgets/gimpeditor.c
That indeed makes them look more like toolbars which is imho a nice removal of clutter. I like that change. What does the UI team think?
Nah, just go ahead and commit this change please :)
Done. But I won't quite resolve the bug report yet. 2008-02-10 Bill Skaggs <weskaggs@primate.ucdavis.edu> * app/widgets/gimpeditor.c: draw editor buttons without relief, see bug #515621.
Turned into a style property. Closing as FIXED. 2008-02-10 Michael Natterer <mitch@gimp.org> * app/widgets/gimpeditor.c: add button-relief style property which defaults to NONE.