pothos-gui: widget size grip always visible when selected