[gnome-builder] preferences: tweak ordering for appearance
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] preferences: tweak ordering for appearance
- Date: Sun, 18 Sep 2016 03:25:20 +0000 (UTC)
commit b988ab9761df4843f545a4699fe6c8171ad40925
Author: Christian Hergert <chergert redhat com>
Date: Sat Sep 17 19:03:15 2016 -0700
preferences: tweak ordering for appearance
libide/preferences/ide-preferences-builtin.c | 20 ++++++++++----------
1 files changed, 10 insertions(+), 10 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-builtin.c b/libide/preferences/ide-preferences-builtin.c
index 4ed6758..02ee15f 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -101,11 +101,20 @@ ide_preferences_builtin_register_appearance (IdePreferences *preferences)
ide_preferences_add_page (preferences, "appearance", _("Appearance"), 0);
- ide_preferences_add_list_group (preferences, "appearance", "schemes", _("Color Scheme"),
GTK_SELECTION_NONE, 100);
+ ide_preferences_add_list_group (preferences, "appearance", "basic", _("Themes"), GTK_SELECTION_NONE, 0);
+ dark_mode = ide_preferences_add_switch (preferences, "appearance", "basic", "org.gnome.builder",
"night-mode", NULL, NULL, _("Dark Theme"), _("Whether Builder should use a dark theme"), _("dark theme"), 0);
+ ide_preferences_add_switch (preferences, "appearance", "basic", "org.gnome.builder.editor",
"show-grid-lines", NULL, NULL, _("Grid Pattern"), _("Display a grid pattern underneath source code"), NULL,
0);
+
+ ide_preferences_add_list_group (preferences, "appearance", "font", _("Font"), GTK_SELECTION_NONE, 10);
+ ide_preferences_add_font_button (preferences, "appearance", "font", "org.gnome.builder.editor",
"font-name", _("Editor"), C_("Keywords", "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"), C_("Keywords", "terminal font monospace"), 0);
manager = gtk_source_style_scheme_manager_get_default ();
scheme_ids = gtk_source_style_scheme_manager_get_scheme_ids (manager);
+ ide_preferences_add_list_group (preferences, "appearance", "schemes", _("Color Scheme"),
GTK_SELECTION_NONE, 20);
+
for (i = 0; scheme_ids [i]; i++)
{
g_autofree gchar *variant_str = NULL;
@@ -119,15 +128,6 @@ ide_preferences_builtin_register_appearance (IdePreferences *preferences)
ide_preferences_add_radio (preferences, "appearance", "schemes", "org.gnome.builder.editor",
"style-scheme-name", NULL, variant_str, title, NULL, title, i);
}
- ide_preferences_add_list_group (preferences, "appearance", "basic", _("Themes"), GTK_SELECTION_NONE, 0);
- dark_mode = ide_preferences_add_switch (preferences, "appearance", "basic", "org.gnome.builder",
"night-mode", NULL, NULL, _("Dark Theme"), _("Whether Builder should use a dark theme"), _("dark theme"), 0);
- ide_preferences_add_switch (preferences, "appearance", "basic", "org.gnome.builder.editor",
"show-grid-lines", NULL, NULL, _("Grid Pattern"), _("Display a grid pattern underneath source code"), NULL,
0);
-
- ide_preferences_add_list_group (preferences, "appearance", "font", _("Font"), GTK_SELECTION_NONE, 200);
- ide_preferences_add_font_button (preferences, "appearance", "font", "org.gnome.builder.editor",
"font-name", _("Editor"), C_("Keywords", "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"), C_("Keywords", "terminal font monospace"), 0);
-
if (ide_application_get_disable_theme_tracking (IDE_APPLICATION_DEFAULT))
{
bin = ide_preferences_get_widget (preferences, dark_mode);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]