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.
alt Hacker News
No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements.