Check next - Githubissues

FStarLang / fstar-interactive

An F* interactive mode for the atom editor

MIT License

7 stars 4 forks source link

Check next #3

Closed catalin-hritcu closed 9 years ago

catalin-hritcu commented 9 years ago

Any chance for another key shortcut Ctrl+Shift+N that advances the checking to the next top level definitions. Without this it's not so convenient to always go to the end of a large definition in order to re-check it.

aseemr commented 9 years ago

Please see commit https://github.com/FStarLang/fstar-interactive/commit/403c29ee7b5f7cac925de7b9a86f69b659fadb11. I have tested on mac and seems to work fine.