From 0755b73637711e803069da01560df9e491dd7d51 Mon Sep 17 00:00:00 2001 From: Aleks Kissinger Date: Thu, 24 Jan 2019 22:24:36 +0100 Subject: made hold shift to scroll a preference (closes #53) --- src/gui/preferencedialog.ui | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) (limited to 'src/gui/preferencedialog.ui') diff --git a/src/gui/preferencedialog.ui b/src/gui/preferencedialog.ui index 80bdc57..894d356 100644 --- a/src/gui/preferencedialog.ui +++ b/src/gui/preferencedialog.ui @@ -47,7 +47,7 @@ - Grid colors + Grid Colors @@ -220,17 +220,24 @@ - + - Auto-select new edges + UI Options - + - + Auto-select new edges + + + + + + + Hold shift to scroll with wheel or touchpad -- cgit v1.2.3