terminal: add gnome terminal dconf dump

This commit is contained in:
Marco Thomas
2023-07-17 14:27:21 +02:00
parent c4242e7608
commit 8ec171edbe
3 changed files with 21 additions and 1 deletions

View File

@@ -6,7 +6,7 @@ font:
family: SFMono Nerd Font
style: Regular
size: 10.0
size: 11.0
draw_bold_text_with_bright_colors: false