dot/gtk3-settings.ini: Add reminder about Gtk 3's vanishing scrollbars.

This setting ought to do something, but doesn't.  Huh.

diff --git a/dot/gtk3-settings.ini b/dot/gtk3-settings.ini
index 1b9f00c09150e20cba0dc2049b5f1875661a7d23..5b9b52ec2f2145ea5ab0e5bb7090c8d220dfcaa5 100644 (file)
--- 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