Closed dungpa closed 8 years ago
Another alternative is to revert https://github.com/fsprojects/VisualFSharpPowerTools/pull/1329.
This PR seems nicer since it gives users an option if they want to retain the feature.
Yes, I like this PR. The vast majority of users are not experiencing the issue with key bindings.
Close #1376.