The Documents menu is located at the top of the Shell and gives the following options∶
Icon | Description |
|---|
| Create a new document |
| Open from local device |
| Save to local device |
| Copy to the clipboard |
| Export to PDF |
| Rescue snapshots |
Opening a Grafstate document
There are 2 ways to import Grafstate code into the Grafstate Shell∶
| 1 | If there is a Grafstate file to your local device, then select |
| | from the menu above and select the file. Grafstate files must have a file extension that is either .graf or .graf.txt . |
| 2 | Paste the Grafstate code into the Grafstate editor . |
There are 2 ways to copy Grafstate code from an external source and paste it into the Grafstate editor∶
| 1 | Open a .graf (or .graf.txt ) file in a text editor. Select all text in the document. Then drag the selection to the Grafstate editor. Click the update button or type ctrl-enter . |
| 2 | Open a Grafstate document into a text editor. Copy the text of the document to the clipboard. The paste the text into the Grafstate editor. Press the update button or type ctrl-enter . |
Saving a Grafstate document
There are 2 ways to save a Grafstate document from the Shell∶
| 1 | To save your Grafstate code to your local device, select |
| | from the menu above. Give the file a name that ends with .graf or .graf.txt . |
| 2 | Copy the Grafstate code to the clipboard and paste it in a text editor of your choice. You can copy the Grafstate code in the current document by selecting |