Fons van der Plas

Results 302 issues of Fons van der Plas

**Describe the bug** The [Chrome DevTools Workspaces](https://developer.chrome.com/docs/devtools/workspaces/) feature, which allows editing local source files directly from the inspector (💕), stopped working in combination with a local `file_server`. I bisected the...

bug
needs investigation

Hey @eliascarv ! What a cool project, I wish this existed 2 years ago! Did you have any ideas about automatically hosting a documentation page? If you have an endpoint...

enhancement

Hi! It looks like this package uses an internal API, making it incompatible with https://github.com/fonsp/Pluto.jl and other custom logging environemnts. See https://github.com/fonsp/Pluto.jl/issues/1121 -fons

Feel free to add more!

Sorting autocomplete results: _Right now results are presented in alphabetical (i.e. code index) order. The dream is to have full AI power like kite.com, but perhaps there are some simple...

help welcome
good first issue

Pluto uses `Distributed` to create worker processes and to send Julia data structures between them. It works really well! And `Distributed` is pleasant to work with. However, it means that...

enhancement
backend

A request like `GET http://localhost:1234/editor.html` works (200 with file contents), but `HEAD http://localhost:1234/editor.html` gives a 404.

HTTP/WS

See https://github.com/JuliaPluto/AbstractPlutoDingetjes.jl/pull/8 TODO: - [ ] test... somehow. maybe the APD side needs to be merged first?

E.g. ```julia ### A Pluto.jl notebook ### # v0.17.1 using Markdown using InteractiveUtils # ╔═╡ 6cfc7d20-46b0-11ec-33c3-15107f33e361 using Singular # ╔═╡ c09c9041-557b-4517-b108-28781d14dfe0 R, (t) = PolynomialRing(QQ, ["t"]) # ╔═╡ 00000000-0000-0000-0000-000000000001 PLUTO_PROJECT_TOML_CONTENTS...

bug
frontend

https://user-images.githubusercontent.com/6933510/169283887-63dda4f6-2dcb-48b2-b0b0-6fba489733ca.mov

bug
backend