Method handleUndo

app/src/processing/app/EditorTab.java:578–580

()

  }

  void handleUndo() {
    textarea.undoLastAction();
  }
  
  void handleRedo() {
    textarea.redoLastAction();