diff libgui/src/resource-manager.h @ 31617:1f57ea5dfd4a

don't allow settings file name to be changed * resource-manager.h, resource-manager.cc (resource_manger::check_settings): Rename from set_settings and declare as private funtion. Eliminate file name argument. Change all uses. (resource_manger::resource_manger): Also check settings here.
author John W. Eaton <jwe@octave.org>
date Fri, 02 Dec 2022 10:36:13 -0500
parents 726d2628752c
children ad014fc78bd6
line wrap: on
line diff
--- a/libgui/src/resource-manager.h	Fri Dec 02 10:10:19 2022 -0500
+++ b/libgui/src/resource-manager.h	Fri Dec 02 10:36:13 2022 -0500
@@ -87,8 +87,6 @@
                               int mode = 0, int def = 0);
 #endif
 
-    void set_settings (const QString& file);
-
     bool update_settings_key (const QString& new_key, const QString& old_key);
 
     bool is_first_run (void) const;
@@ -104,6 +102,8 @@
 
   private:
 
+    void check_settings (void);
+
     /*!
      * Copys the attributes bold, italic and underline from QFont
      * @p attr to the font @p base and returns the result without