[gnome-builder/wip/gtk4-port: 684/736] plugins/editorui: add preference toggle for snippets




commit 23e8955e65f9e173113087f9f9435bb435530ade
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 20 15:07:13 2022 -0700

    plugins/editorui: add preference toggle for snippets

 src/plugins/editorui/gbp-editorui-preferences-addin.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/src/plugins/editorui/gbp-editorui-preferences-addin.c 
b/src/plugins/editorui/gbp-editorui-preferences-addin.c
index 9cc90547e..97331fc1f 100644
--- a/src/plugins/editorui/gbp-editorui-preferences-addin.c
+++ b/src/plugins/editorui/gbp-editorui-preferences-addin.c
@@ -86,9 +86,14 @@ static const IdePreferenceItemEntry items[] = {
 
   { "editing", "completion", "select-first-completion", 20, ide_preferences_window_toggle,
     N_("Select First Completion"),
-    N_("Automatically select the first completion without activating it"),
+    N_("Automatically select the first completion when displayed"),
     "org.gnome.builder.editor", NULL, "select-first-completion" },
 
+  { "editing", "completion", "enable-snippets", 30, ide_preferences_window_toggle,
+    N_("Expand Snippets"),
+    N_("Use “Tab” to expand configured snippets in the editor"),
+    "org.gnome.builder.editor", NULL, "enable-snippets" },
+
   { "keyboard", "movement", "smart-home-end", 0, ide_preferences_window_toggle,
     N_("Smart Home and End"),
     N_("Home moves to first non-whitespace character"),


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]