let
help_act_cb _ac =
ViewGraph_select
.show_help ()