[gnome-builder] ide.h: add preferences to header

[Christian Hergert <chergert src gnome org>]

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"