let refresh_panel () = !refresh_panel_callback ()