From ec80224cce5740090840b5c898c7f097a34f7486 Mon Sep 17 00:00:00 2001 From: TrudeEH Date: Sat, 13 Jul 2024 20:05:04 +0100 Subject: [PATCH] Add new terminal settings --- settings.dconf | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/settings.dconf b/settings.dconf index 4501cd87..d0aba80b 100644 --- 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='v'