mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-02 23:12:21 +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