From d8b95c30e864eeed050b4dab72f7d4c1304f4229 Mon Sep 17 00:00:00 2001 From: David Capello Date: Thu, 15 Nov 2018 19:17:19 -0300 Subject: [PATCH] Add option to disable double-click to select a grid tile (fix #1901) --- data/pref.xml | 1 + data/strings/en.ini | 1 + data/widgets/options.xml | 2 ++ src/app/ui/editor/standby_state.cpp | 3 ++- 4 files changed, 6 insertions(+), 1 deletion(-) diff --git a/data/pref.xml b/data/pref.xml index 90c74eefb..5f7300bf6 100644 --- a/data/pref.xml +++ b/data/pref.xml @@ -229,6 +229,7 @@