Glimmr Graphic Hyperlinks
version 1/100805 by Erik Temple
Part 5 - Identifying whether a command was generated by the mouse
The mouse-generated flag is a truth state that varies. The mouse-generated flag is false.
A command-pasting rule (this is the flag generated commands rule):
now the mouse-generated flag is true;
Before reading a command (this is the mouse-generated flag reset rule):
now the mouse-generated flag is false;
continue the action.
To decide whether the command is mouse-generated:
decide on the mouse-generated flag.
The flag generated commands rule is listed before the glue replacement command into parse buffer rule in the command-pasting rules.