[gnome-builder/wip/gtk4-port: 406/1774] plugins/editorui: add preference for overview map
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 406/1774] plugins/editorui: add preference for overview map
- Date: Mon, 11 Jul 2022 22:31:11 +0000 (UTC)
commit 8d8f6b084c44ded0393066ec84e5cf3e664e9cc4
Author: Christian Hergert <chergert redhat com>
Date: Tue Apr 5 18:10:48 2022 -0700
plugins/editorui: add preference for overview map
src/plugins/editorui/gbp-editorui-preferences-addin.c | 18 ++++++++++++------
1 file changed, 12 insertions(+), 6 deletions(-)
---
diff --git a/src/plugins/editorui/gbp-editorui-preferences-addin.c
b/src/plugins/editorui/gbp-editorui-preferences-addin.c
index 8cf13e14c..aef841a85 100644
--- a/src/plugins/editorui/gbp-editorui-preferences-addin.c
+++ b/src/plugins/editorui/gbp-editorui-preferences-addin.c
@@ -38,7 +38,8 @@ static const IdePreferenceGroupEntry groups[] = {
{ "appearance", "preview", 10, N_("Style") },
{ "appearance", "schemes", 20, NULL },
{ "appearance", "font", 30, NULL },
- { "appearance", "accessories", 40, NULL },
+ { "appearance", "effects", 40, NULL },
+ { "appearance", "accessories", 50, NULL },
{ "languages/*", "general", 0, N_("General") },
{ "languages/*", "margins", 10, N_("Margins") },
@@ -51,16 +52,21 @@ static const IdePreferenceGroupEntry groups[] = {
};
static const IdePreferenceItemEntry items[] = {
+ { "appearance", "effects", "show-grid-lines", 10, ide_preferences_window_toggle,
+ N_("Show Grid Pattern"),
+ N_("Display a grid pattern underneath source code"),
+ "org.gnome.builder.editor", NULL, "show-grid-lines" },
+
+ { "appearance", "effects", "show-map", 10, ide_preferences_window_toggle,
+ N_("Show Overview Map"),
+ N_("Use an overview map instead of a scrollbar"),
+ "org.gnome.builder.editor", NULL, "show-map" },
+
{ "appearance", "accessories", "show-line-numbers", 0, ide_preferences_window_toggle,
N_("Show Line Numbers"),
N_("Display line numbers next to each line of source code"),
"org.gnome.builder.editor", NULL, "show-line-numbers" },
- { "appearance", "accessories", "show-grid-lines", 10, ide_preferences_window_toggle,
- N_("Show Grid Pattern"),
- N_("Display a grid pattern underneath source code"),
- "org.gnome.builder.editor", NULL, "show-grid-lines" },
-
{ "appearance", "accessories", "highlight-current-line", 20, ide_preferences_window_toggle,
N_("Highlight Current Line"),
N_("Make current line stand out with highlights"),
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]