I know not much about Zed and I am curious, can such changes be implemented via extensions?
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.