From ab9ed9b07d491e2162412c189a982490d0ec81c3 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 25 Feb 2020 23:27:53 +0000
Subject: [PATCH] dot/gtk3-settings.ini: Add reminder about Gtk 3's vanishing
 scrollbars.

This setting ought to do something, but doesn't.  Huh.
---
 dot/gtk3-settings.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dot/gtk3-settings.ini b/dot/gtk3-settings.ini
index 1b9f00c..5b9b52e 100644
--- a/dot/gtk3-settings.ini
+++ b/dot/gtk3-settings.ini
@@ -3,3 +3,4 @@ gtk-primary-button-warps-slider = false
 gtk-theme-name = Adwaita-dark
 gtk-application-prefer-dark-theme = true
 gtk-long-press-time = 5000
+#gtk-overlay-scrolling = false
-- 
2.11.0