Pluto.jl
Pluto.jl copied to clipboard
Plots.jl image display breaks in Pluto.jl for # points > 8000
Thank you for reporting an issue about Pluto! Let's get it fixed!
To report an issue, you need three things:
-
📹 A video recording demonstrating the problem. (You can drag a video file into this box) https://github.com/fonsp/Pluto.jl/assets/86376592/54d3b536-c650-45c5-a72b-1d58d36d8988
-
📝 A short Pluto notebook file. (Upload the notebook file to https://gist.github.com/ and include the link.) https://gist.github.com/jbiffl/b1f07164047d10b9629baf6bb42fa05c
-
🤕 Try to clearly explain what the problem is, it might not be obvious to others! Instead of saying: "This does not work.", try to say: "I expected ..., but instead I am seeing ..." I expected to see a plot displayed for # points greater than 8000, but instead I see a broken image. I have tested this in Windows 10 in both Chrome and Firefox with identical results. Plotting datasets with # points>8000 seems to work fine in other places (repl, vscode, jupyter notebooks).
🙋 But my issue is really simple, I don't want to make a screen recording / notebook!
Please do it anyways! It is really difficult to know exactly what information we will need to solve the issue, and a video recording can save a lot of follow-up questions. Similarly, a notebook file means that we can start testing the problem immediately, saving Pluto's developers a lot of time.
Thanks for the detailed report! For context, 8000 points is the limit at which the SVG plotting is disabled and an other format (image) is used instead.
https://github.com/fonsp/Pluto.jl/blob/280827087ff89be6fb8fdd28cb75d4e21d4b257e/src/runner/PlutoRunner.jl#L1614
I cannot reproduce the issue with your notebook (Linux, Firefox). Could you try opening the JavaScript console (Right click -> Inspect -> Console tab) and report any error message there?
My extremely limited JavaScript knowledge means I don't really understand what I'm looking at, but these two messages were listed as errors in Firefox.
Chrome does not show any errors. Edge also shows no errors. I checked all browsers with and without all extensions disabled, and there were no differences.
Please let me know if there are any other troubleshooting steps I can take that would be helpful.
None of these seem necessarily related. Can you check how much is document.body.querySelectorAll("*").length
?
document.body.querySelectorAll("*").length
returned 280