leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: new members

Topic: keyboard shortcut for expanding `library_search` suggestion?


Chris M (Jul 26 2020 at 14:05):

is there a keyboard shortcut in VSCode for expanding the suggestion that library_search gives?

Alex J. Best (Jul 26 2020 at 15:11):

Alt-v for me

Chris M (Jul 28 2020 at 04:36):

Great! works :)


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll