[gnome-builder] prefs: add build preferences for space styling
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] prefs: add build preferences for space styling
- Date: Tue, 30 Jan 2018 00:57:44 +0000 (UTC)
commit c8f5c70205495d2fe21f2448fdf192f8e185d017
Author: Christian Hergert <chergert redhat com>
Date: Mon Jan 29 16:52:19 2018 -0800
prefs: add build preferences for space styling
This allows tweaking the new spaces-style gsetting on a per-language basis.
Related #152
src/libide/preferences/ide-preferences-builtin.c | 9 +++++++++
1 file changed, 9 insertions(+)
---
diff --git a/src/libide/preferences/ide-preferences-builtin.c
b/src/libide/preferences/ide-preferences-builtin.c
index b4dc090f0..59d880070 100644
--- a/src/libide/preferences/ide-preferences-builtin.c
+++ b/src/libide/preferences/ide-preferences-builtin.c
@@ -332,6 +332,15 @@ ide_preferences_builtin_register_languages (DzlPreferences *preferences)
dzl_preferences_add_spin_button (preferences, "languages.id", "indentation",
"org.gnome.builder.editor.language", "tab-width", "/org/gnome/builder/editor/language/{id}/", _("Tab width"),
_("Width of a tab character in spaces"), NULL, 10);
dzl_preferences_add_radio (preferences, "languages.id", "indentation",
"org.gnome.builder.editor.language", "insert-spaces-instead-of-tabs",
"/org/gnome/builder/editor/language/{id}/", NULL, _("Insert spaces instead of tabs"), _("Prefer spaces over
use of tabs"), NULL, 20);
dzl_preferences_add_radio (preferences, "languages.id", "indentation",
"org.gnome.builder.editor.language", "auto-indent", "/org/gnome/builder/editor/language/{id}/", NULL,
_("Automatically indent"), _("Indent source code as you type"), NULL, 30);
+
+ dzl_preferences_add_list_group (preferences, "languages.id", "spaces-style", _("Spacing"),
GTK_SELECTION_NONE, 600);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/",
"\"before-left-paren\"", _("Space before opening parentheses"), NULL, NULL, 0);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/",
"\"before-left-bracket\"", _("Space before opening brackets"), NULL, NULL, 1);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/",
"\"before-left-brace\"", _("Space before opening braces"), NULL, NULL, 2);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/",
"\"before-left-angle\"", _("Space before opening angles"), NULL, NULL, 3);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/", "\"colon\"",
_("Prefer a space before colons"), NULL, NULL, 4);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/", "\"comma\"",
_("Prefer a space before commas"), NULL, NULL, 5);
+ dzl_preferences_add_radio (preferences, "languages.id", "spaces-style",
"org.gnome.builder.editor.language", "spaces-style", "/org/gnome/builder/editor/language/{id}/",
"\"semicolon\"", _("Prefer a space before semicolons"), NULL, NULL, 6);
}
static gboolean
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]