Gri Commands
|
12.46: The `
|
`state save|restore|display' |
The `save
' operation pushes a record of the graphics state (pen and
font characteristics, margins, axis lengths, min/max/inc values on axes,
etc) onto a stack. The `restore
' operation replaces the present
state with whatever is on top of the stack, and then pops the stack.
Use `display
' to see some of the state properties.
The `state
' command is useful for temporary changes of axis
properties, etc.
BUG: only line characteristics (width, color) and font characteristics (font, size, color) are saved so far. In fact, the full list of what should be saved has not yet been finalized by the author.