From 36b7d1bcdd41a0791dd399fbdc5cc573b5d20742 Mon Sep 17 00:00:00 2001 From: mboelen Date: Tue, 19 Apr 2016 12:03:48 +0200 Subject: [PATCH] Added new profile option: quick --- include/profiles | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/include/profiles b/include/profiles index 75fe6f0b..1c46df9d 100644 --- a/include/profiles +++ b/include/profiles @@ -156,6 +156,12 @@ PROFILE_NAME="${VALUE}" ;; + # Quick (no waiting for keypresses) + quick) + QUICKMODE=`echo ${VALUE} | egrep "^(0|1)$"` || QUICKMODE=0 + Debug "Quickmode set to ${QUICKMODE}" + ;; + # Inline tips about tool show_tool_tips) SHOW_TOOL_TIPS="${VALUE}"