pi-base / web

Code powering the π-Base
https://topology.pi-base.org
MIT License
5 stars 5 forks source link

VS Code plugin #5

Open StevenClontz opened 1 year ago

StevenClontz commented 1 year ago
jamesdabbs commented 5 months ago

@StevenClontz – do you use VSCode locally at all, or just entirely through Codespaces? I've cut a revamped version of this, and would appreciate if you could try to install it and let me know:

StevenClontz commented 5 months ago

I use the web version exclusively (eating the dogfood, don't want to only know how to do things that require others to install things). I'll check this out

StevenClontz commented 5 months ago

Tried this first, but it's not available. (Would be really nice as VS Code for Web is quicker to spin up than a Codespace.)

image

Trying a codespace now.

StevenClontz commented 5 months ago

Hey neat.

image

image

Trying to open files causes an error (note backslashes):

image

jamesdabbs commented 5 months ago

Alright, I made a little bit of progress getting this working in github.dev with the new release. Feel free to give that a try. Next-up issues:

StevenClontz commented 5 months ago

The extension can be installed, but doesn't seem to have any effect:

image

image

jamesdabbs commented 5 months ago

@StevenClontz – try again? (I fixed a bug where the P3 lookups that were expecting P000003)

StevenClontz commented 5 months ago

So cool.

image

Now I need to get this rigged up by default for everyone...

jamesdabbs commented 5 months ago

I saw https://github.com/pi-base/data/commit/dd40b6f366feb8bf93f2ad7360653f267e1051ad ... I think https://github.com/pi-base/data/pull/655 is also worth adding?

jamesdabbs commented 5 months ago

@StevenClontz – 😎 Live on https://github.dev/pi-base/data now

Screenshot 2024-05-29 at 3 30 35 PM

~I still need to get the click-to-follow-reference working here. (All of these errors were related to Codespaces using a vscode-vfs:// uri scheme instead of file:// as it is locally.) Once that's done,~ I'm inclined to get this POC merged in to this repo as a new package and start iterating from there. Sound good?

StevenClontz commented 5 months ago

I'm inclined to get this POC merged in to this repo as a new package and start iterating from there. Sound good?

All good with me.

BTW I think https://github.com/pi-base/data/commit/dd40b6f366feb8bf93f2ad7360653f267e1051ad was what got things working in github.dev and https://github.com/pi-base/data/pull/655 was what was needed for Codespaces.