1
1
Fork 0

gnome-text-editor: use custom dconf font

Signed-off-by: Myned <dev@bjork.tech>
This commit is contained in:
Myned 2025-02-16 20:30:37 -06:00
parent 1ef48275f7
commit e174041e02
Signed by: Myned
GPG key ID: C7224454F7881A34

View file

@ -127,6 +127,7 @@ in {
# GNOME Text Editor # GNOME Text Editor
"org/gnome/TextEditor" = { "org/gnome/TextEditor" = {
custom-font = mkString "monospace 14";
highlight-current-line = mkBoolean true; highlight-current-line = mkBoolean true;
restore-session = mkBoolean false; restore-session = mkBoolean false;
show-line-numbers = mkBoolean true; show-line-numbers = mkBoolean true;