From f458d48f9b143cc90bc202ca91d55c4cd83f934d Mon Sep 17 00:00:00 2001 From: David Wales Date: Wed, 26 Feb 2025 22:18:24 +1100 Subject: [PATCH] gtk: work around oversized drag handle for GtkPaned 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. --- src/apprt/gtk/style.css | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/apprt/gtk/style.css b/src/apprt/gtk/style.css index d1e848ac6..f4575e50a 100644 --- a/src/apprt/gtk/style.css +++ b/src/apprt/gtk/style.css @@ -48,4 +48,18 @@ window.ssd.no-border-radius { .terminal-window .notebook separator { background-color: rgba(250, 250, 250, 1); background-clip: content-box; + + /* This works around the oversized drag area for the right side of GtkPaned. + * + * Upstream Gtk issue: + * https://gitlab.gnome.org/GNOME/gtk/-/issues/4484#note_2362002 + * + * Ghostty issue: + * https://github.com/ghostty-org/ghostty/issues/3020 + * + * Without this, it's not possible to select the first character on the + * right-hand side of a split. + */ + margin: 0; + padding: 0; }