configs  Check-in [b1ef7793c2]

Overview
Comment:gnome-terminal: Make text slightly darker

This allows to distinguish it better from bold text.

Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: b1ef7793c212f0d78594006d45a14e5d7d1ffed18ba4d5c2b2268699536557c0
User & Date: js on 2024-09-01 17:18:00
Other Links: manifest | tags
Context
2024-09-21
22:54
Update keyring check-in: b01a7b44c0 user: js tags: trunk
2024-09-01
17:18
gnome-terminal: Make text slightly darker check-in: b1ef7793c2 user: js tags: trunk
2024-08-18
16:46
setup.sh: Unset local autosync check-in: 959dca6ec3 user: js tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Modified dconf/gnome-terminal from [64a603c107] to [d707ccf3b5]. 




1
2
3
4
5
6
7
8
9
10

11

12
13
14
15
16
17
18

1
2
3
4
5
6
7
8
9
10
11
12
13
14

15
16
17
18
19
20
21
22

+
+
+










+
-
+








[legacy/profiles:]
list=['b1dcc9dd-5262-4d8d-a863-c897e6d979b9']

[legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
audible-bell=true
background-color='rgb(0,0,0)'
background-transparency-percent=6
bold-color='rgb(255,255,255)'
bold-color-same-as-fg=false
bold-is-bright=true
cursor-background-color='rgb(255,229,0)'
cursor-colors-set=true
cursor-foreground-color='rgb(128,0,0)'
font='Cascadia Mono 11'
foreground-color='rgb(238,238,238)'
foreground-color='rgb(208,208,208)'
highlight-background-color='rgb(51,68,133)'
highlight-colors-set=true
highlight-foreground-color='rgb(255,255,255)'
palette=['rgb(23,20,33)', 'rgb(192,28,40)', 'rgb(38,162,105)', 'rgb(162,115,76)', 'rgb(18,72,139)', 'rgb(163,71,186)', 'rgb(42,161,179)', 'rgb(208,207,204)', 'rgb(94,92,100)', 'rgb(246,97,81)', 'rgb(51,209,122)', 'rgb(233,173,12)', 'rgb(42,123,222)', 'rgb(192,97,203)', 'rgb(51,199,222)', 'rgb(255,255,255)']
scrollback-unlimited=true
scrollbar-policy='always'
use-system-font=true




︙