e91d9d89c8
Adds the infractucture for settings events and specifically tracks theme settings. Currently, we only take note of the theme at app open and when the user switches the theme with the theme selector. Changes at the config file are ignored, as putting code that low leads to a lot of chances of reporting theme events when the user hasn't done anything. This change is done in both Zed 1 and Zed 2. I'll open up a PR on zed.dev and adjust the database accordingly. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| contents | ||
| resources | ||
| src | ||
| build.rs | ||
| Cargo.toml | ||