method reload_active_view = match active_view with None -> () | Some gv -> match gv#reload with None -> () | Some f -> f ()