Gri: `state' command

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`' Command: saving/restoring Graphics state
    `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.