Skip to content

Rework terminal settings#1585

Merged
lenemter merged 16 commits intomasterfrom
jeremypw/terminal/no-settings-schema
Aug 10, 2025
Merged

Rework terminal settings#1585
lenemter merged 16 commits intomasterfrom
jeremypw/terminal/no-settings-schema

Commits

Commits on Jun 3, 2025

Commits on Jun 27, 2025

Commits on Jun 28, 2025

Commits on Jul 14, 2025

Commits on Aug 9, 2025

Commits on Aug 10, 2025