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