New macro @bindname to display variable name before bond

[fonsp]

This PR makes a macro @bindname available when you do using PlutoUI. It's like @bind, but it will also show the name of the bound variable before the widget (height = ).

This solves a common pattern: writing the variable name by hand in markdown, and then interpolating the @bind call. See e.g. https://discourse.julialang.org/t/current-maintained-interactive-julia-gui-system-mid-2024/118318/11?u=fonsp

Details

The styling matches exactly that of a variable declaration.

This will also still work in a standalone file without Pluto:

[github-actions]

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/JuliaPluto/PlutoUI.jl", rev="@bindname")
julia> using PlutoUI

Or run this code in your browser:

[roflmaostc]

Any plan to change the default to show_value=true. Showing especially the variable name without value is never something I wanted, only the other way.

[fonsp]

Hey @roflmaostc !

Yes that is the plan! But a bit tricky to change the default, I am afraid to break things...

[roflmaostc]

It would break a bit of layout, you mean?

As a user it would display two numbers instead of one. So at least it would not disappear (if the default would be true)