pothos-gui: resizable container with grip widget