Closed dustessavdh closed 3 months ago
Hi @dustessavdh thanks, you can publish it for sure!
Also, please update the icon and banner to:
Hi @daltonmenezes, I've updated the corresponding files!
~I've also been trying to add it to the extensions repo, but I haven't fully figured out how to include this repo since they use git submodules.~
~I can add this repo as a submodule and use spare-checkout to only include this package, but it will still be under packages/zed
, and I think the files must be in the root of the submodule.~
~I've added a question under https://github.com/zed-industries/extensions/issues/36 to ask more about this~ I've also figured out how to add this repo to the extensions repo! Once this PR will be merged, I will be able to create a PR to add it to Zed
Thank you so much @dustessavdh 💜
Description
This PR: Adds support for the editor Zed.
The installation steps are written as if the package is already published. To actually publish the package we would have to follow the steps listed in the extensions repo of Zed. Since I don't want to make a PR without asking, I haven't done this yet.
For local installation, you can follow the following steps:
zed: extensions
commandInstall Dev Extension
buttontheme selector: toggle
commandAura
and choose anAura
variant.Assets
Logo:![image](https://github.com/daltonmenezes/aura-theme/assets/25427808/40502d96-5b40-413e-ab70-fe0310badf3b)
Screenshot:![image](https://github.com/daltonmenezes/aura-theme/assets/25427808/5aa51ea1-6820-4816-8eb0-e0fe6f9b1ada)
Checklist