JuliaPluto/PlutoUI.jl
Auf GitHub ansehen`MultiSelect` is too finicky about type of `default`
Open
#218 geöffnet am 4. Juli 2022
good first issue
Repository-Metriken
- Stars
- (314 Stars)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
Beschreibung
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.