JuliaPluto/PlutoUI.jl
Voir sur GitHub`MultiSelect` is too finicky about type of `default`
Open
#218 ouverte le 4 juil. 2022
good first issue
Métriques du dépôt
- Stars
- (314 stars)
- Métriques de merge PR
- (Aucune PR mergée en 30 j)
Description
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.