| ▲ | gnufied 6 hours ago | |
I know not much about Zed and I am curious, can such changes be implemented via extensions? | ||
| ▲ | moritzruth 5 hours ago | parent [-] | |
No, Zed's extension API is very limited at the moment. In particular, it does not allow adding any new GUI elements. | ||