diff libgui/src/m-editor/file-editor-tab.h @ 27611:0495b64288f7

use new gui_settings class instead of using QSettings directly * gui-settings.h, gui-settings.cc: New files. Define gui_settings class derived from QSettings. * libgui/src/module.mk: Update. Change all uses of QSettings to use gui_settings instead.
author John W. Eaton <jwe@octave.org>
date Fri, 01 Nov 2019 02:17:13 -0400
parents 60cecb3fed04
children 45bb5bbaf291
line wrap: on
line diff
--- a/libgui/src/m-editor/file-editor-tab.h	Fri Nov 01 12:12:10 2019 -0400
+++ b/libgui/src/m-editor/file-editor-tab.h	Fri Nov 01 02:17:13 2019 -0400
@@ -29,7 +29,6 @@
 #include <QFileInfo>
 #include <QFileSystemWatcher>
 #include <QLabel>
-#include <QSettings>
 #include <QStatusBar>
 #include <QWidget>
 #include <Qsci/qsciapis.h>
@@ -37,6 +36,7 @@
 #include "find-dialog.h"
 // Only needed for typedef of "QIntList", which may be typedefed
 // elsewhere.  Could use common location.
+#include "gui-settings.h"
 #include "marker.h"
 #include "octave-qscintilla.h"
 #include "qt-interpreter-events.h"
@@ -136,7 +136,7 @@
                                 Qt::KeyboardModifiers state);
 
     // Tells the editor tab to react on changed settings.
-    void notice_settings (const QSettings *settings, bool init = false);
+    void notice_settings (const gui_settings *settings, bool init = false);
 
     // Change to a different editor tab by identifier tag.
     void change_editor_state (const QWidget *ID);