[gnome-builder/wip/gtk4-port] plugins/editorui: add preference toggle for snippets
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port] plugins/editorui: add preference toggle for snippets
- Date: Wed, 20 Apr 2022 22:07:17 +0000 (UTC)
commit e20922fdebe1aaf0a292e3ecd465e2f5824f51b6
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]