let refresh_panel_callback = ref (fun () -> ())