Method requestFocusInWindow

app/src/processing/app/EditorTab.java:627–631

()

  }

  @Override
  public boolean requestFocusInWindow() {
    /** If focus is requested, focus the textarea instead. */
    return textarea.requestFocusInWindow();
  }

}