Hi @buttercrab, thanks for getting in touch! Unfortunately, the Zed editor has some limitations that make it difficult to port Vira Theme:

• It doesn’t support closed-source or paid extensions because they rely on a basic extension distribution based on public repositories and git submodules.
• It doesn’t have an API to customize it yet.
• It doesn’t have any licenses regulations on the extensions distributed to ensure quality and security.

Because of these reasons, a Zed porting is unlikely to happen anytime soon. We’re sorry for the inconvenience!