Skip to content

Properly reset when pressing Esc in the middle of command#241

Merged
AlexPl292 merged 2 commits intoJetBrains:masterfrom patrick-elmquist:fix/reset-operatorJul 9, 2020

Commits

Commits on Jul 7, 2020

Commits on Jul 9, 2020