search

JuliaPluto / PlutoUI.jl

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

Hide ToC contents when hidden #209

Closed disberd closed 2 years ago

disberd commented 2 years ago

This very small change simply reduce the ToC height to only show the closed book icon when the ToC is hidden. This is done to minimize the vertical clutter of the ToC (now that the ToC does not remove its aside status automatically anymore) when the main text is very close to the edge of the browser. See https://github.com/fonsp/Pluto.jl/issues/2093 for example.

New behavior example: 89547624-f1ae-476c-91ba-297ce8e19e96

github-actions[bot] commented 2 years 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-1")
julia> using PlutoUI

Or run this code in your browser: Run with binder