Comment by gnufied 1 day ago I know not much about Zed and I am curious, can such changes be implemented via extensions? 1 comment gnufied Reply moritzruth 1 day ago No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements.
moritzruth 1 day ago No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements.
No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements.