[gnome-builder] ide.h: add preferences to header
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] ide.h: add preferences to header
- Date: Sat, 18 Feb 2017 22:15:48 +0000 (UTC)
commit 03b3e4129fcf1bc3bb6fc3c7d78ead1f34e5b4ef
Author: Christian Hergert <chergert redhat com>
Date: Sat Feb 18 13:57:51 2017 -0800
ide.h: add preferences to header
These are getting installed, so might as well have them in the public
API header.
libide/ide.h | 11 ++++++++++-
1 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/libide/ide.h b/libide/ide.h
index f1008e3..45ffea0 100644
--- a/libide/ide.h
+++ b/libide/ide.h
@@ -88,8 +88,17 @@ G_BEGIN_DECLS
#include "langserv/ide-langserv-symbol-resolver.h"
#include "local/ide-local-device.h"
#include "logging/ide-log.h"
-#include "preferences/ide-preferences-addin.h"
#include "preferences/ide-preferences.h"
+#include "preferences/ide-preferences-addin.h"
+#include "preferences/ide-preferences-bin.h"
+#include "preferences/ide-preferences-entry.h"
+#include "preferences/ide-preferences-file-chooser-button.h"
+#include "preferences/ide-preferences-font-button.h"
+#include "preferences/ide-preferences-group.h"
+#include "preferences/ide-preferences-page.h"
+#include "preferences/ide-preferences-perspective.h"
+#include "preferences/ide-preferences-spin-button.h"
+#include "preferences/ide-preferences-switch.h"
#include "projects/ide-project-edit.h"
#include "projects/ide-project-file.h"
#include "projects/ide-project-files.h"
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]