Thierry, this is so cool! Is a mmj2 ctrl+u like action available? Please, feel free to ask if you need help with this one (I don't know anything about Rust, but it's now on top of my list of things to learn)
Can't wait to build and try it! Glauco Il giorno lunedì 14 febbraio 2022 alle 06:02:45 UTC+1 Thierry Arnoux ha scritto: > Hi all, > > I'd like to log some modest progress on a Visual Studio Code assistant, > which reuses a lot of Mario's work on MM0, and relies on metamath-knife. > > I've put up a small screen recording here > <https://github.com/tirix/metamath-vspa>, demonstrating basic hover and > go-to-definition support: > > - when hovering over a label, the statement and hypotheses are shown, > as well as the statement's associated comment, > - the go-to-definition command shall be self-explanatory! > > BR, > _ > Thierry > > > -- 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/809b5f60-dbc8-4032-bd9b-850ef05eddf0n%40googlegroups.com.
