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

Account for pending selections when calling `Editor::refresh_selections`
10f176073dAntonio Scandurra committed on 3/23/2022, 2:58:28 PM· committed by GitHubparents004f98cb73f57d
1 file changedLine totals unavailable