[gnome-builder] terminal: add terminal font setting

[Christian Hergert <chergert src gnome org>]

commit 7bf9586413670307f7f62c501acf38a24fdd4244
Author: Christian Hergert <chergert redhat com>
Date:   Sat Dec 5 15:51:33 2015 -0800

    terminal: add terminal font setting

 data/gsettings/Makefile.am                         |    1 +
 .../org.gnome.builder.terminal.gschema.xml         |    7 +++++++
 libide/preferences/ide-preferences-builtin.c       |    2 ++
 plugins/terminal/gb-terminal-view.c                |    5 +----
 4 files changed, 11 insertions(+), 4 deletions(-)
---
diff --git a/data/gsettings/Makefile.am b/data/gsettings/Makefile.am
index 4669a5c..f0801e3 100644
--- a/data/gsettings/Makefile.am
+++ b/data/gsettings/Makefile.am
@@ -5,6 +5,7 @@ gsettings_SCHEMAS = \
        org.gnome.builder.extension-type.gschema.xml \
        org.gnome.builder.gschema.xml \
        org.gnome.builder.project-tree.gschema.xml \
+       org.gnome.builder.terminal.gschema.xml \
        org.gnome.builder.workbench.gschema.xml \
        $(NULL)
 
diff --git a/data/gsettings/org.gnome.builder.terminal.gschema.xml 
b/data/gsettings/org.gnome.builder.terminal.gschema.xml
new file mode 100644
index 0000000..8b9d4aa
--- /dev/null
+++ b/data/gsettings/org.gnome.builder.terminal.gschema.xml
@@ -0,0 +1,7 @@
+<schemalist>
+  <schema id="org.gnome.builder.terminal" path="/org/gnome/builder/terminal/" gettext-domain="gnome-builder">
+    <key name="font-name" type="s">
+      <default>"Monospace 11"</default>
+    </key>
+  </schema>
+</schemalist>
diff --git a/libide/preferences/ide-preferences-builtin.c b/libide/preferences/ide-preferences-builtin.c
index bfdbbaa..9e00396 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -93,6 +93,8 @@ ide_preferences_builtin_register_appearance (IdePreferences *preferences)
 
   ide_preferences_add_list_group (preferences, "appearance", "font", _("Font"), 200);
   ide_preferences_add_font_button (preferences, "appearance", "font", "org.gnome.builder.editor", 
"font-name", _("Editor"), _("editor font monospace"), 0);
+  /* XXX: This belongs in terminal addin */
+  ide_preferences_add_font_button (preferences, "appearance", "font", "org.gnome.builder.terminal", 
"font-name", _("Terminal"), _("terminal font monospace"), 0);
 }
 
 static void
diff --git a/plugins/terminal/gb-terminal-view.c b/plugins/terminal/gb-terminal-view.c
index 3d0fe84..8c57a05 100644
--- a/plugins/terminal/gb-terminal-view.c
+++ b/plugins/terminal/gb-terminal-view.c
@@ -572,10 +572,7 @@ gb_terminal_view_init (GbTerminalView *self)
   gb_terminal_view_connect_terminal (self, self->terminal_top);
   gb_terminal_view_actions_init (self);
 
-  /*
-   * FIXME: Should we allow setting the terminal font independently from editor?
-   */
-  settings = g_settings_new ("org.gnome.builder.editor");
+  settings = g_settings_new ("org.gnome.builder.terminal");
   g_settings_bind (settings, "font-name", self, "font-name", G_SETTINGS_BIND_GET);
 
   style_context = gtk_widget_get_style_context (GTK_WIDGET (self));