From b74099c5fdb3fcbe7a6b89fc05069e219f7fb36c Mon Sep 17 00:00:00 2001
From: ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com>
Date: Sat, 2 Mar 2024 17:25:10 +0100
Subject: Add OPTION_SIMPLE_ZOOM_SHORTCUT to fine tune zoom-in shortcut

---
 src/Fl.cxx | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Fl.cxx')

diff --git a/src/Fl.cxx b/src/Fl.cxx
index dcf4be3bc..43115cc6a 100644
--- a/src/Fl.cxx
+++ b/src/Fl.cxx
@@ -2010,6 +2010,8 @@ bool Fl::option(Fl_Option opt)
       options_[OPTION_SHOW_SCALING] = tmp;
       opt_prefs.get("UseZenity", tmp, 1);                      // default: on
       options_[OPTION_FNFC_USES_ZENITY] = tmp;
+      opt_prefs.get("SimpleZoomShortcut", tmp, 0);              // default: off
+      options_[OPTION_SIMPLE_ZOOM_SHORTCUT] = tmp;
     }
     { // next, check the user preferences
       // override system options only, if the option is set ( >= 0 )
@@ -2036,6 +2038,8 @@ bool Fl::option(Fl_Option opt)
       if (tmp >= 0) options_[OPTION_SHOW_SCALING] = tmp;
       opt_prefs.get("UseZenity", tmp, -1);
       if (tmp >= 0) options_[OPTION_FNFC_USES_ZENITY] = tmp;
+      opt_prefs.get("SimpleZoomShortcut", tmp, -1);
+      if (tmp >= 0) options_[OPTION_SIMPLE_ZOOM_SHORTCUT] = tmp;
     }
     { // now, if the developer has registered this app, we could ask for per-application preferences
     }
-- 
cgit v1.2.3