Need to change video resolution on the fly via GStreamer. Here is its pipeline fragment:..."! va