/** * Resets the entire workspace. This includes all blocks, pages, drawers, and trashed blocks. Also * resets the undo/redo stack. The language (i.e. genuses and shapes) is not reset. */ public void resetWorkspace() { // clear all pages and their drawers // clear all drawers and their content // clear all block and renderable block instances workspace.reset(); }