[gnome-builder] prefs: add margin title

[Christian Hergert <chergert src gnome org>]

commit 894c56dab445f93f01732701c8d3bdd4801a09c9
Author: Christian Hergert <chergert redhat com>
Date:   Fri Dec 4 19:37:09 2015 -0800

    prefs: add margin title

 libide/preferences/ide-preferences-builtin.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-builtin.c b/libide/preferences/ide-preferences-builtin.c
index 4d5e5aa..bfdbbaa 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -307,7 +307,7 @@ ide_preferences_builtin_register_languages (IdePreferences *preferences)
   ide_preferences_add_list_group (preferences, "languages.id", "basic", NULL, 0);
   ide_preferences_add_switch (preferences, "languages.id", "basic", "org.gnome.builder.editor.language", 
"trim-trailing-whitespace", "/org/gnome/builder/editor/language/{id}/", NULL, _("Trim trialing whitespace"), 
_("Upon saving, trailing whitespcae from modified lines will be trimmed."), NULL, 10);
 
-  ide_preferences_add_list_group (preferences, "languages.id", "margin", NULL, 0);
+  ide_preferences_add_list_group (preferences, "languages.id", "margin", _("Margins"), 0);
   ide_preferences_add_radio (preferences, "languages.id", "margin", "org.gnome.builder.editor.language", 
"show-right-margin", "/org/gnome/builder/editor/language/{id}/", NULL, _("Show right margin"), NULL, NULL, 0);
   ide_preferences_add_spin_button (preferences, "languages.id", "margin", 
"org.gnome.builder.editor.language", "right-margin-position", "/org/gnome/builder/editor/language/{id}/", 
_("Right margin position"), _("Position in spaces for the right margin"), NULL, 10);