mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-08 07:35:01 +03:00
9b453d2cbc
This PR removes the themes defined using the `UserTheme` types, as we're now loading the themes via JSON. The `theme_importer` has also been reworked to read in a VS Code theme and output a new JSON theme. Release Notes: - N/A
21 B
21 B