portal

Daniel Slutsky 2023-04-03T12:10:36.700459Z

Looks like the Portal extension to VSCode is active on the https://code.visualstudio.com/docs/python/jupyter-support-py. For example, see the attached image to see what happens when a Python error occurs. Not sure whether that is desired or not. ๐Ÿค”

2
2
Lukas Domagala 2023-04-03T16:29:34.762129Z

Ah, thatโ€™s happening because portal is saying โ€œI understand the vscode notebook error mime typeโ€ and vscode is handing that off to it. I should have thought about that before telling @djblue to just jump onto that mime type ๐Ÿ˜ž

Lukas Domagala 2023-04-03T16:30:07.254539Z

You can temporarily fix it yourself by clicking the โ€ฆ next to it and selecting a different viewer

djblue 2023-04-03T16:30:22.439519Z

I mean it's technically correct, the best kind of correct ๐Ÿ‘Œ

1
Lukas Domagala 2023-04-03T16:30:51.777799Z

Probably also prettier then the python error display ๐Ÿ™‚

โ˜๏ธ 2
djblue 2023-04-03T16:31:03.831359Z

The portal viewer does understand that mime type and does have reasonable behavior

Lukas Domagala 2023-04-03T16:32:48.196689Z

@daslu is this a positive or a negative? I donโ€™t know what this would usually look like, how large the overlap of python/clojure people is, and if changing the viewer yourself is too difficult for random users.

Daniel Slutsky 2023-04-03T16:41:02.821259Z

Thanks. I'm not sure. It is not so much of a problem, probably, I'll try to keep using it and see if anything important is lost.

djblue 2023-04-03T16:47:53.475649Z

I would be interested in supporting more mime types for notebooks to provide viewers for any notebook ๐Ÿค”

Lukas Domagala 2023-04-03T16:53:22.959699Z

It might be interesting if portal supported stuff like portal/table.edn , portal/vega.edn That way a notebook could choose to display stuff directly in a viewer without fiddling with metadata. Not sure if it would ever be used, but maybe ๐Ÿ™‚

djblue 2023-04-03T16:54:20.885609Z

Yeah, I don't see why not ๐Ÿค”

Lukas Domagala 2023-04-03T16:54:59.258059Z

But thereโ€™s probably also better stuff to spend your time on ๐Ÿ˜œ