pothos-widgets: resize time plotter scene on resizeEvent
pothos-gui: nice visual tweaks to hide/show grip