(gtk3) Separator size doesn't work
Bug #1518069 reported by
Egmont Koblinger
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Terminator |
Fix Released
|
Medium
|
Unassigned |
Bug Description
Preferences -> Global -> Terminal separator size is a slider from -1 to 5.
No matter what I set it to, the separator is always 6 pixels for me.
I'm also wondering what's the purpose of a negative number, and also 0 should only be allowed if there's a way to resize the panes by keyboard, without dragging the separator.
Related branches
Changed in terminator: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Also in GTK 3.10
-1 uses the theme default width
0-5 set it to that many pixels. 0 draws no line, but can still be dragged with the mouse, although in my opinion it is a pain in the butt to use. And we do have keyboard shortcuts to resize too.