From 698ff8888714530c3cbfbf9373af0c234c66be83 Mon Sep 17 00:00:00 2001 From: James Turner Date: Fri, 25 Oct 2013 17:23:07 +0100 Subject: [PATCH] Tooltips and right-mouse-drag on by default. Use the GUI to switch off, or adjust these properties. --- preferences.xml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/preferences.xml b/preferences.xml index 0027a14b8..63b8b5525 100644 --- a/preferences.xml +++ b/preferences.xml @@ -699,10 +699,12 @@ Started September 2000 by David Megginson, david@megginson.com true - true + false + true 10.0 - false - -1 + true + 800 + true 1.0 false