4 ms·I think https://zed.dev https://zed.dev might have this?by trebor 3y agoI think https://zed.dev https://zed.dev might have this?