next up previous contents
Next: Renaming a node Up: Working with Nodes Previous: Node types

Changing current node type

 

tex2html_wrap5154

To change the global current node type (used as a parameter in many rigiedit operations):

  1. Click the Node Type button in the Workbench window.

    A Node Type palette appears.

  2. Pick the desired node type from the palette.

    Or move the pointer outside this palette to cancel.

    tex2html_wrap5156

    This palette causes certain operations to consider only specific node types.



James Uhl
Wed Jul 10 14:13:22 PDT 1996