[gnome-builder/wip/gtk4-port] plugins/editorui: setup line-height preference
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port] plugins/editorui: setup line-height preference
- Date: Thu, 21 Apr 2022 00:47:05 +0000 (UTC)
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]