gtk: work around oversized drag handle for GtkPaned #6000
Conversation
|
Is this mutually exclusive with #6002, or do they supplement each other? |
|
This is a hopefully noncontroversial subset of #6002. They share commit 33e1930, which works around a Gtk bug which causes the pane drag handle to be oversized. This improves the issue, as it was previously not possible to select the first character in a right-hand split pane. With this PR it is possible if you start around halfway through the character. It's not a complete fix, as the drag handle still covers the left half of the first character in the right pane. This PR is attempting to get something similar into Gtk upstream: #6002 adds an extra commit to enable a wide handle for the pane separator, which functionally resolves the issue completely, but has some style issues. My thinking is that this PR can hopefully be merged without too much trouble, and then #6002 can take a bit longer to figure out the best complete solution. |
|
Thanks for working with upstream! |
daviewales
force-pushed
the
reduce-gtk-paned-separator-drag-width
branch
from
33e1930 to
02e25bf
Compare
Improves ghostty-org#3020. Based on recommendation from upstream Gtk issue: https://gitlab.gnome.org/GNOME/gtk/-/issues/4484#note_2362002 Without this, it's not possible to select the first character on the right-hand side of a split.
daviewales
force-pushed
the
reduce-gtk-paned-separator-drag-width
branch
from
02e25bf to
63ea1ab
Compare
Improves #3020.
Based on recommendation from upstream Gtk issue:
https://gitlab.gnome.org/GNOME/gtk/-/issues/4484#note_2362002
Without this, it's not possible to select the first character on the right-hand side of a split.