Rework the virtual keyboard size control

Change the virtual keyboard size selection mechanism to a pulldown
instead of radio buttons; disable it if the size selection is 'None'.