urls_downloaded_cb({"token":"disable-mixing","urls":[{"url":"tools/ges-launch.html#generic-options","node_type":"p","page":"ges-launch-1.0","sections":["ges-launch-1.0","Options","Generic options"],"context":{"gi-language":["default"]}},{"url":"tools/ges-launch.html#synopsis","node_type":"p","page":"ges-launch-1.0","sections":["ges-launch-1.0","Synopsis"],"context":{"gi-language":["default"]}},{"url":"tools/ges-launch.html#video-properties","node_type":"p","page":"ges-launch-1.0","sections":["ges-launch-1.0","Define a timeline through the command line","+clip","Properties","Video properties"],"context":{"gi-language":["default"]}}]});