/**
* 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();
}
