I'm pretty sure this a GTK+ issue where it hardcodes some bad defaults forcing themes or apps to fix with custom CSS like this Issue. I guess this is the same as this Thunar bug linked from a (possibly) related Mousepad bug.

IMO, such issues should be fixed where they'll have the most effect:

1. In GTK+, fix all GTK+ apps
2. Workarounds in the themes (where there are already usually many app-specific hacks), fix all apps when that theme is in use.
3. Local CSS where each app has to individually fix the issue.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.