GtkPaned_handle_size not setting? Can't change handle size
Bug #1729860 reported by
Anna
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Terminator |
Incomplete
|
Undecided
|
Unassigned |
Bug Description
Hi,
I've been stuck with this bug but basically the handle size wouldn't change, I've had a look at previous bug threads going back to 2015 and tried the fixes to no avail, even though they should've been committed already.
I'm currently running it on Ubuntu 17.04 with the Arc theme.
To post a comment you must log in.
This possibility was removed from GTK+. Accordingly, such a warning is printed:
(terminator:12345): Gtk-WARNING **: Theme parsing error: <data>:4:43: The style property GtkPaned: handle- size is deprecated and shouldn't be used anymore. It will be removed in a future version
Terminator should also remove this config option and UI setting.
Or... actually... it's a bit unclear to me, after all, there must be a way for themes to specify the width of the separator, I mean, it must have a certain fixed width, whatever it is. And then why can't that be overridden? So maybe there's still a (less trivial) way to save this feature.