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