diff libgui/src/history-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 9e526393d80a
children 315c35e6037c
line wrap: on
line diff
--- a/libgui/src/history-dock-widget.cc	Thu Oct 24 17:39:11 2019 -0400
+++ b/libgui/src/history-dock-widget.cc	Fri Oct 25 00:38:06 2019 -0400
@@ -32,7 +32,8 @@
 #include <QScrollBar>
 #include <QVBoxLayout>
 
-#include "gui-preferences.h"
+#include "gui-preferences-cs.h"
+#include "gui-preferences-global.h"
 #include "history-dock-widget.h"
 #include "resource-manager.h"