7 ms·

I know not much about Zed and I am curious, can such changes be implemented via extensions?

• 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.