let help (main_ui:Design.main_window_extension_points) =
let add txt = add_msg main_ui txt in
add ("General : "
^"each of these commands starts from a data D at a program point L.\n\t"
^"The program point is the one that is before the selected statement,\n\t"
^"and the data is the one that is selected if any, "
^"or it can be given via a popup.\n"
^"\tIf the text given in the popup is empty, or 'Cancel' is chosen, "
^"the selection of the command is reseted.");
add (ShowDef.help);
add (Zones.help);
add (DataScope.help);
add (Pscope.help);
add ("All : call the 3 commands on the same D and L.");
add ("Reset : reset the internal state for all the previous commands.")