Add new terminal settings

2024-07-13 20:05:04 +01:00
parent 18d90d1088
commit ec80224cce
1 changed files with 7 additions and 0 deletions
--- a/settings.dconf
+++ b/settings.dconf
@@ -75,3 +75,10 @@ enabled=true
 background-color='rgb(0,0,0)'
 foreground-color='rgb(208,207,204)'
 use-theme-colors=false
+use-system-font=false
+font='JetBrainsMono Nerd Font 12'
+exit-action='hold'
+backspace-binding='auto'
+
+[/org/gnome/terminal/legacy/keybindings]
+paste='<Primary>v'