js/configs
1
1
Fork 0
Code Activity

gnome-terminal: Make text slightly darker

Browse source 
This allows to distinguish it better from bold text.
This commit is contained in:
Jonathan Schleifer 2024-09-01 17:18:00 +00:00
parent ea98a2d246
commit 0eb16c1c85
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
dconf/gnome-terminal
View file

@ -1,3 +1,6 @@
[legacy/profiles:]
list=['b1dcc9dd-5262-4d8d-a863-c897e6d979b9']
[legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9] [legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
audible-bell=true audible-bell=true
background-color='rgb(0,0,0)' background-color='rgb(0,0,0)'
@ -8,7 +11,8 @@ bold-is-bright=true
cursor-background-color='rgb(255,229,0)' cursor-background-color='rgb(255,229,0)'
cursor-colors-set=true cursor-colors-set=true
cursor-foreground-color='rgb(128,0,0)' cursor-foreground-color='rgb(128,0,0)'
foreground-color='rgb(238,238,238)' font='Cascadia Mono 11'
foreground-color='rgb(208,208,208)'
highlight-background-color='rgb(51,68,133)' highlight-background-color='rgb(51,68,133)'
highlight-colors-set=true highlight-colors-set=true
highlight-foreground-color='rgb(255,255,255)' highlight-foreground-color='rgb(255,255,255)'