let
refresh_panel () = !refresh_panel_callback ()