Selectmenu: It need not define option "disabled", because that option is inherited from the widget factory.