We do this by using a bullet. When we have animations, a spinner would be better. Co-Authored-By: Nathan Sobo <nathan@zed.dev>
Antonio Scandurra committed on 5/10/2022, 3:32:57 PMparentb003381
1 file changedLine totals unavailable
We do this by using a bullet. When we have animations, a spinner would be better. Co-Authored-By: Nathan Sobo <nathan@zed.dev>