search

JuliaPluto / PlutoUI.jl

https://featured.plutojl.org/basic/plutoui.jl
The Unlicense
299 stars 54 forks source link

remove `@with_terminal` export #273

Closed disberd closed 7 months ago

disberd commented 8 months ago

This will remove the macro export from the TerminalNotebook as it's not defined anymore.

As it is now, you get an error with Aqua tests if you re-export PlutoUI (as it errors if you are exporting non-existing names)

github-actions[bot] commented 8 months ago

Try this Pull Request!

Open Julia and type:

  julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/disberd/PlutoUI.jl", rev="patch-2")
julia> using PlutoUI

Or run this code in your browser: Run with binder