wml tools GUI: improved bindings to invoke the context menu
wml tools GUI: added context menu to the output text box