5 ms·

Did you make an issue for that? (I'm sad about that too)

• robin_reala 3y ago
  I have now: https://github.com/zed-industries/zed/issues/6440 https://github.com/zed-industries/zed/issues/6440
  • robin_reala 3y ago
    For people following along at home, this was fixed with a 250x speed up (!) in https://github.com/zed-industries/zed/pull/6700 https://github.com/zed-industries/zed/pull/6700
    • mikaylamaki 3y ago
      And for OPs comment! https://x.com/thorstenball/status/1750489879912349894?s=20 https://x.com/thorstenball/status/1750489879912349894?s=20