Updated VS Code extension for Elsa
lkuper opened this issue · comments
Lindsey Kuper commented
Hey folks! My course staffer @akainth015 forked the Elsa VS Code extension by @mistzzt and added support for autocompletion. I've been using it myself and it works well!
Here's the repo with the forked version, and it's installable from Marketplace.
Just thought I'd mention this in case you'd like to point to it from the README. Thanks for creating Elsa! ❤️
Ranjit Jhala commented
Thanks so much! Happy to update README or if you prefer merge a PR that
updates the text appropriately?
On Thu, Apr 6, 2023 at 10:16 AM Lindsey Kuper ***@***.***> wrote:
Hey folks! My course staffer @akainth015
<https://urldefense.com/v3/__https://github.com/akainth015__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfyjPKGUIo$>
forked the Elsa VS Code extension
<https://urldefense.com/v3/__https://github.com/mistzzt/vscode-elsa-lang__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfyljFnXgY$>
by @mistzzt
<https://urldefense.com/v3/__https://github.com/mistzzt__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfyg_RxcEn$>
and added support for autocompletion. I've been using it myself and it
works well!
Here's the repo with the forked version
<https://urldefense.com/v3/__https://github.com/akainth015/vscode-elsa-lang__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfyuE6BMtY$>,
and it's installable from Marketplace
<https://urldefense.com/v3/__https://marketplace.visualstudio.com/items?itemName=akainth015.elsa-lang__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfyg0wS2S-$>
.
Just thought I'd mention this in case you'd like to point to it from the
README. Thanks for creating Elsa! ❤️
—
Reply to this email directly, view it on GitHub
<https://urldefense.com/v3/__https://github.com/ucsd-progsys/elsa/issues/18__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfymip7bad$>,
or unsubscribe
<https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OACSBK5A3HWM7V2B7TW7326FANCNFSM6AAAAAAWVVO7W4__;!!Mih3wA!BPLK00WnAIwWiVH5Al_bvbC6ABkgO-Z7_0jNzNCp4UHG10kvmTZJz-nN0n7zMEkhaNYp6rvquBLNVCWfymxGd8Yl$>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
--
- Ranjit.
Lindsey Kuper commented
Thanks! Just made PR #19.