[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] VSCode Extension Update


I've worked on an update of the build window in the TLA VSCode Extension and would like to gather some feedback (if you know TS or React it would also be nice to have some reviews).

The PR with more detail information: https://github.com/tlaplus/vscode-tlaplus/pull/289

You can test it on my branch https://github.com/afonsonf/vscode-tlaplus/tree/refactor-webview-using-vscode-toolkit

I've also uploaded the vsix file here: https://github.com/afonsonf/vscode-tlaplus-vsix-file-test

New UI:

Old UI:

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/c94ea394-a185-4203-9237-266aca7cdce0n%40googlegroups.com.