search

christianvoigt / argdown

a simple syntax for complex argumentation
https://argdown.org
923 stars 30 forks source link

Add support for github.dev for the VSCode Extension #298

Closed Coda-Coda closed 2 years ago

Coda-Coda commented 2 years ago

I am not sure if it would be possible, but if it is, it would be really great to have support for https://github.dev for the Argdown VSCode extension. This would make it very simple for any user with a web-browser to edit Argdown files in any GitHub repo simply by pressing . on the GitHub page with the Argdown files and adding the Argdown extension.

Currently, attempting to install the Argdown extension from https://github.dev/christianvoigt/argdown/tree/master/examples gives the error "The 'Argdown' extension is not available in Visual Studio Code for the Web."

See also: https://code.visualstudio.com/docs/editor/vscode-web#_extensions

christianvoigt commented 2 years ago

Hi, I am currently working on this. Maybe some features will be missing in the web version, but I think most features will work.

Coda-Coda commented 2 years ago

Awesome!

christianvoigt commented 2 years ago

It took some time, but with v1.8.1 the argdown-vscode extension does run on vscode.dev and github.dev. At the moment the export features have been deactivated, because they use @argdown/language-server. Language servers currently do not support virtual workspaces.

Coda-Coda commented 2 years ago

Nice!! This opens up some neat opportunities for more convenient collaboration on Argdown diagrams - thanks @christianvoigt!!