Gri Commands
1: Introduction 2: Simple example 3: Fancy example 4: Running Gri 5: Programming Gri 6: General Issues 7: X-Y Plots 8: Contour Plots 9: Image Plots 10: Examples 11: Handling Data 12: Gri Commands 13: Gri Extras 14: Evolution of Gri 15: Installing Gri 16: Gri Bugs 17: System Tools 18: Acknowledgments 19: License 20: Newsgroup 21: Concept Index |
12.46: The `
|
`state save|restore|display' |
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.