Antonio Scandurra 10f176073d Merge pull request #662 from zed-industries/fix-refresh-selections-when-mouse-selecting ...

Account for pending selections when calling `Editor::refresh_selections`

2022-03-23 15:58:28 +01:00

..

src

Merge pull request #662 from zed-industries/fix-refresh-selections-when-mouse-selecting

2022-03-23 15:58:28 +01:00

Cargo.toml

WIP

2022-03-17 17:53:49 -07:00