next up previous contents
Next: Defining transitions Up: Using the line Previous: Enter state

Maintainance of the line panel

Clearing lines and copying lines are frequently required.

Additionally, the marking can become so cluttered that it is convenient to restore the symbols in the panel to a neutral color, while still preserving the original symbols.



Harold V. McIntosh
E-mail:mcintosh@servidor.unam.mx