From 33e19305cf7b63f3d68d46a5c0dd6c0a1debd075 Mon Sep 17 00:00:00 2001
From: David Wales <daviewales@disroot.org>
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 | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/apprt/gtk/style.css b/src/apprt/gtk/style.css
index dbed8ef25..b88cf9de9 100644
--- a/src/apprt/gtk/style.css
+++ b/src/apprt/gtk/style.css
@@ -41,6 +41,22 @@ window.ssd.no-border-radius {
   border-radius: 0 0;
 }
 
+paned > separator {
+  /* 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;
+}
+
 .transparent {
   background-color: transparent;
 }