pothos-gui: layout changes for buttons always visible