I forgot ctrl+shift+p (invokes the VSCode command palette where you also see some yamma specific commands, for instance "Unify + Store in MMT folder")
With a right click in a .mmp file, you will see a list of all the available commands Il giorno domenica 10 marzo 2024 alle 17:34:16 UTC+1 Glauco ha scritto: > I've uploaded a small video (it's still private). > > No audio, for now. The resolution at full screen is not great (it is my > first YouTube upload. Locally, the .webm video looks much better) > > The video assumes you are familiar with mmj2 > > It mainly shows diagnostics, syntax suggestions and step suggestions (and > step derivation, but this is like in mmj2) > > Here are a list of shortcuts used in the video (VSCode in Ubuntu): > > ctrl+n (new file) > ctrl+s (save file) > ctrl+z (undo) > ctrl+u (unify) > ctrl+n (unify and renumber) > ctrl+space (trigger step suggestions) > downarrow and uparrow (navigate through completion items) > tab (select current completion item and unify) > > Here's the link > https://youtu.be/N7W0VBsbOcQ > > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/da009bde-d145-406e-b3db-f91819355179n%40googlegroups.com.
