From 9b0c1c10462e8a84669410dfda4cbee561787b94 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 16 Nov 2017 12:24:02 +0000
Subject: [PATCH] dot/gtk3-settings.ini: Inhibit ridiculous fine-tuning
 scrollbar behaviour.

This is a horrid kludge.
---
 dot/gtk3-settings.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dot/gtk3-settings.ini b/dot/gtk3-settings.ini
index 21842d1..c22c555 100644
--- a/dot/gtk3-settings.ini
+++ b/dot/gtk3-settings.ini
@@ -2,3 +2,4 @@
 gtk-primary-button-warps-slider = false
 gtk-theme-name = Adwaita-dark
 gtk-application-prefer-dark-theme = false
+gtk-long-press-time = 5000
-- 
2.11.0