Rework terminal settings - #1585

Merged

lenemter merged 16 commits into

jeremypw/terminal/no-settings-schema

Aug 10, 2025

Commits on Jun 3, 2025

Monitor settings changes; refactor
jeremypw
committed
6f3d483

Commits on Jun 27, 2025

Merge branch 'master' into jeremypw/terminal/no-settings-schema
jeremypw
committed
f686055
Fallback to GNOME settings for font and audible bell, monitor settings changes
jeremypw
committed
eaa8aae
Follow system cursor blink mode
jeremypw
committed
c274542

Commits on Jun 28, 2025

Lose redundant pantheon-terminal-settings
jeremypw
committed
fadbfc0
Lose redundant comments
jeremypw
committed
e1aca65

Commits on Jul 14, 2025

Commits on Aug 9, 2025

Merge branch 'master' into jeremypw/terminal/no-settings-schema
jeremypw
authored
aa11afb

Commits on Aug 10, 2025

Use defined constant for cursor-shape key

jeremypw
and
lenemter
authored
c0a804d
Use defined constant for background key

jeremypw
and
lenemter
authored
3cfa029
Use defined constant for foreground key

jeremypw
and
lenemter
authored
6815c2a
Use defined constant for palette key

jeremypw
and
lenemter
authored
5ab2c05
Make gnome settings nullable

jeremypw
and
lenemter
authored
1459644
Lose unneeded `this`
jeremypw
committed
031a537
Merge branch 'master' into jeremypw/terminal/no-settings-schema
jeremypw
authored
7ea86db