GUI: tiny reorganization of widget ``show_url``