diff libgui/src/gui-settings.h @ 31637:34c3cd39c4b9

eliminate unused gui_pref::ignore data member * gui-settings.h (gui_settings::value): Don't check pref.ignore. No code in Octave sets it to true. * gui-preferences.h (gui_pref::ignore): Delete unused data member. (gui_pref::gui_pref): Remove ignore arg from constructor.
author John W. Eaton <jwe@octave.org>
date Sun, 04 Dec 2022 15:29:51 -0500
parents 0645ea65ca6b
children 474e184321d3
line wrap: on
line diff
--- a/libgui/src/gui-settings.h	Sat Dec 03 14:45:33 2022 -0500
+++ b/libgui/src/gui-settings.h	Sun Dec 04 15:29:51 2022 -0500
@@ -68,9 +68,6 @@
 
     QVariant value (const gui_pref& pref) const
     {
-      if (pref.ignore)
-        return pref.def;  // ignore the current pref and always use default
-
       return value (pref.key, pref.def);
     }