pothos-gui: hideable grip -- not yet working as intended