6 ms·
No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements.
by moritzruth 5mo ago
No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements.