small improvements in the display of buttons of GUIs