Allow Mappings to be given as the options in a selection widget again.#3557
Merged
vidartf merged 5 commits intojupyter-widgets:masterfrom Aug 30, 2022
Merged
Allow Mappings to be given as the options in a selection widget again.#3557vidartf merged 5 commits intojupyter-widgets:masterfrom
vidartf merged 5 commits intojupyter-widgets:masterfrom
