search

JuliaPluto / PlutoUI.jl

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

with_terminal() possibly stopped working with Pluto 0.17.6 #192

Closed j-fu closed 2 years ago

j-fu commented 2 years ago

Hi it seems that the new logging stuff interfers with with_terminal(). Not that I wouldn't prefer logging, but for backwards compatibility this could be a problem, see the notebook in https://gist.github.com/j-fu/550df5a6bdb58350c43746d5e8ae453c .

icweaver commented 2 years ago

Looks to be working alright on main now I think! (v0.17.7)

Screenshot from 2022-01-21 13-13-33

j-fu commented 2 years ago

Ah ok. I can confirm this. Thanks for the response!