superrob1500
/
mirror-ghostty
mirror of https://github.com/ghostty-org/ghostty
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gtk: work around oversized drag handle for GtkPaned (#6000) 

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.
pull/6034/head
Jeffrey C. Ollie 2025-02-27 08:42:17 -06:00 committed by GitHub
parent ef7f8cb3da 63ea1ab32e
commit 31df9d5576
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/apprt/gtk/style.css
View File

@ -48,4 +48,18 @@ window.ssd.no-border-radius {
.terminal-window .notebook paned > separator { .terminal-window .notebook paned > separator {
background-color: rgba(250, 250, 250, 1); background-color: rgba(250, 250, 250, 1);
background-clip: content-box; 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;
} }