Navigation: Metacommands
Allows you to remove the definition of a symbol previously defined using $define.
Syntax
$undef symbol
symbol
Name of the symbol to be removed
Example of use:
$define PROX_ABRASIVE
$define BRIDGE_2
...
$undef PROX_ABRASIVE
$undef BRIDGE_2
F7 for caret browsing Hold ALT and press letter
