Selectmenu: Refresh method can be used for both native and custom selects

[jaspermdegroot]

In the documentation of the refresh() method of the selectmenu widget we are only talking about custom select, while the method also can be used to update a native select after programmatically changing the selected option.