let help_act_cb _ac = ViewGraph_select.show_help ()