PlutoUI.jl
PlutoUI.jl copied to clipboard
`MultiSelect` is too finicky about type of `default`
For example, this doesn't work:
MultiSelect([1=>"a", 2=>"b"]; default=Any[1])
This can become annoying when the default is generated from some loosely-typed data.