pothos-gui: graph draw widget grip label