diff libgui/src/terminal-dock-widget.cc @ 27560:3fcc650de22f

split gui-preferences.h into one file per widget * gui-preferences-cs.h, gui-preferences-ed.h, gui-preferences-fb.h, gui-preferences-global.h, gui-preferences-pd.h, gui-preferences-ve.h, gui-preferences-ws.h: New files with symbols extracted from gui-preferences.h. * gui-preferences-all.h: New file. * libgui/src/module.mk: Update. Update all files that use gui-preferences symbols to include only files that are needed.
author John W. Eaton <jwe@octave.org>
date Fri, 25 Oct 2019 00:38:06 -0400
parents da1f59fe04b3
children 315c35e6037c
line wrap: on
line diff
--- a/libgui/src/terminal-dock-widget.cc	Thu Oct 24 17:39:11 2019 -0400
+++ b/libgui/src/terminal-dock-widget.cc	Fri Oct 25 00:38:06 2019 -0400
@@ -27,7 +27,8 @@
 
 #include <QDesktopWidget>
 
-#include "gui-preferences.h"
+#include "gui-preferences-cs.h"
+#include "gui-preferences-global.h"
 #include "resource-manager.h"
 #include "terminal-dock-widget.h"