urls_downloaded_cb({"token":"basic-tutorial-5","urls":[{"url":"tutorials/basic/toolkit-integration.html#a-media-player-in-gtk","node_type":"p","page":"Basic tutorial 5: GUI toolkit integration","sections":["Basic tutorial 5: GUI toolkit integration","A media player in GTK+"],"context":{"gi-language":["default"]}}]});