[gnome-builder/wip/chergert/perspective] prefs: add margin title
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/chergert/perspective] prefs: add margin title
- Date: Sat, 5 Dec 2015 03:37:26 +0000 (UTC)
commit 4ebda62408e7eb25b88add3d1a2f2ac72e7f5f3a
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]