Changes in version 1.3.0 (2022-11-18)                  

Fixed updateSelectControlInput, which was totally buggy.

                 Changes in version 1.2.0 (2022-10-21)                  

There was a bug when there was only one HTML choice in the widget.

                 Changes in version 1.1.0 (2022-09-01)                  

In the previous version, in order to update the selected values with
updateSelectControlInput, the user had to give the choices argument in
addition to the selected argument. This is no longer necessary.

                 Changes in version 1.0.0 (2021-11-17)                  

First release.