diff options
author | mboelen <michael@cisofy.com> | 2016-04-19 13:03:48 +0300 |
---|---|---|
committer | mboelen <michael@cisofy.com> | 2016-04-19 13:03:48 +0300 |
commit | 36b7d1bcdd41a0791dd399fbdc5cc573b5d20742 (patch) | |
tree | 78d3864ba59b24ab60594e8413f0c824a716ee3f | |
parent | 89efa9fae8825b6eb565d2555c500f265b097c9c (diff) |
Added new profile option: quick
-rw-r--r-- | include/profiles | 6 |
1 files changed, 6 insertions, 0 deletions
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}" |