Hi there, any idea if this PR will ultimately land on gram? how much time it can be after it is merged in zed? https://github.com/zed-industries/zed/pull/53221
krig
To be honest it’s unlikely, such a big diff would be hard to backport. There’s been a lot of changes in zed since the fork