pothos-widgets: simplify window size update