Adapt to GUIToolkit button() API