function loadWorkspace() {
  const save1 = JSON.parse(document.getElementById('save1').value);
  workspace1.clear();
  Blockly.serialization.workspaces.load(save1, workspace1);
}
Loads the workspace in single workspace mode.