DrawIO-Saving a File

Within these castle walls be forged Mavens of Computer Science ...

— Merlin, The Coder

To save a file using Draw.IO:

1. From the File menu, select: Export as...
2. Select XML as the format
3. In the pop-up dialog, deselect all options, so the dialog appears as:
4. Click on the Export button
5. Enter a suitable Filename in the dialog
6. Click on the Device button
7. The file will be saved to your download folder. Open the file using any TEXT editor (such as Notepad), then copy and paste the contents into your journal. DO NOT COPY THE CONTENTS FROM A BROWSER as this will add unnecessary characters.
8. After pasting the contents, select the region and execute ALT-x set-justification-left