Pluto.jl
Pluto.jl copied to clipboard
Stack trace URL improvements
New features:
- Clickable URLs for functions from packages (thanks to @adrhill !!)
- Show package name for external functions
- Icon to show that the link will open in a new tab
- Some CSS tweaks
Example
Example
Try this Pull Request!
Open Julia and type:
julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="stack-frame-url-imrpvoements")
julia> using Pluto
The new URL code does not work on Julia 1.6, and I don't see an easy way to make it work :(
It might be worth trying this code https://github.com/JuliaLang/julia/issues/47709#issuecomment-2388629772 ? RegistryInstances might be okay to add as a dep
The clickable URL feature is what I'm talking about in https://github.com/fonsp/Pluto.jl/issues/2737#issuecomment-2450879776. I would selfishly prefer JULIA_EDITOR over an URL because
- It works even if offline
- It works for local packages
- It's always pointing to the right line, even for old versions.
- My editor is comfier than github.
I know you favor simplicity and what's-best-for-students, so I'm not going to get my hopes up. This PR as is looks great!
I think launching an editor doesnt fit our target audience
I think launching an editor doesnt fit our target audience
Yes, that's what I thought you would say 🙂. Oh well! I agree that for students the URL works out better.
You could in theory favor JULIA_EDITOR if it's defined (since it's undefined by default) and fallback to the URL, but it's ugly logic and complexity.