[gnome-builder] prefs: add margin title
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] prefs: add margin title
- Date: Mon, 21 Dec 2015 08:00:05 +0000 (UTC)
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);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]