Method handleRedo

app/src/processing/app/EditorTab.java:582–584

()

  }
  
  void handleRedo() {
    textarea.redoLastAction();
  }
  
  public String getCurrentKeyword() {
    String text = "";