From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 18 Apr 2020 02:28:43 +0000 (+0100)
Subject: dot/profile: Persuade Gtk 3 not to hide scrollbars.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/8308648a418a420474199eff329916178355ad30?ds=sidebyside

dot/profile: Persuade Gtk 3 not to hide scrollbars.

Idiotic idea.
---

diff --git a/dot/profile b/dot/profile
index 17fbc67..9617a8f 100644
--- a/dot/profile
+++ b/dot/profile
@@ -273,6 +273,9 @@ QT_AUTO_SCREEN_SCALE_FACTOR=0; export QT_AUTO_SCREEN_SCALE_FACTOR
 GTK_IM_MODULE=xim; export GTK_IM_MODULE
 QT_IM_MODULE=xim; export QT_IM_MODULE
 
+## Don't hide scrollbars.
+GTK_OVERLAY_SCROLLING=0; export GTK_OVERLAY_SCROLLING
+
 ## Rust Cargo things.
 CARGO_HOME=$HOME/.cache/cargo; export CARGO_HOME