[gnome-builder/wip/gtk4-port] plugins/editorui: setup line-height preference



commit 6ecb93dd15fd1fb7438282896f11e13ba785c0de
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 20 17:46:47 2022 -0700

    plugins/editorui: setup line-height preference

 src/plugins/editorui/gbp-editorui-preferences-addin.c | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-preferences-addin.c 
b/src/plugins/editorui/gbp-editorui-preferences-addin.c
index 97331fc1f..8b077198b 100644
--- a/src/plugins/editorui/gbp-editorui-preferences-addin.c
+++ b/src/plugins/editorui/gbp-editorui-preferences-addin.c
@@ -69,6 +69,11 @@ static const IdePreferenceItemEntry items[] = {
     N_("Display line numbers next to each line of source code"),
     "org.gnome.builder.editor", NULL, "show-line-numbers" },
 
+  { "appearance", "lines", "line-height", 0, ide_preferences_window_spin,
+    N_("Line Height"),
+    N_("Adjust line-height of the configured font"),
+    "org.gnome.builder.editor", NULL, "line-height" },
+
   { "appearance", "lines", "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]