GNOME Bugzilla – Bug 738860
GtkPaned: Add a "wide-handle" property
Last modified: 2014-10-20 12:51:14 UTC
This can be used by applications to indicate that a paned is expected to be actively used by the users for configuring the UI, and needs a prominent handle.
Created attachment 288919 [details] [review] GtkPaned: Add a "wide-handle" property
It defaults to false, which is good
It makes sense to me on certain UIs. My only concern would be about mixing this API with manual add/remove of the "wide"class, but it should only affect for notify::wide-handle purposes AFAICS. This seems like minor punishment for misuse, so definitely not a big concern. Semi-seriously, we maybe should bind boolean properties to css classes more generically, and call that the new "style properties". Nowadays I'd think there's more apps than themes trying to tweak those...
(In reply to comment #3) > It makes sense to me on certain UIs. My only concern would be about mixing this > API with manual add/remove of the "wide"class, but it should only affect for > notify::wide-handle purposes AFAICS. This seems like minor punishment for > misuse, so definitely not a big concern. > > Semi-seriously, we maybe should bind boolean properties to css classes more > generically, and call that the new "style properties". Nowadays I'd think > there's more apps than themes trying to tweak those... What I (and Benjamin, I think) have been going with for a while is: Manual adding of style classes is 'choose your own adventure, keep all the pieces' territory. For every supported use of a style class, there should be widget api to set it. In most cases, that will be a boolean property. Compare what I've recently done to the various shadow-type properties.
Attachment 288919 [details] pushed as cf0c9eb - GtkPaned: Add a "wide-handle" property