code
code copied to clipboard
Rework terminal settings
- [ ] Handle absence of pantheon terminal settings schema better
- [ ] Monitor settings for changes
- [ ] Honor some other Terminal or system settings (e.g. "prefer-dark-style")