[tlaplus] Re: VSCode Extension Update

[Afonso Fernandes <afonsonf42@xxxxxxxxx>]

Deleted the repo with the file as now builds can be download from the ci artifacts: https://github.com/tlaplus/vscode-tlaplus/actions/runs/5026680030

A sexta-feira, 19 de maio de 2023 à(s) 16:46:19 UTC+1, Afonso Fernandes escreveu:

Hi,

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/eb3b5eda-fd8a-41aa-89ae-f23a5ecf7b3cn%40googlegroups.com.