Method isDirectEdit

app/src/processing/app/ui/Editor.java:1896–1898

@return true if the text is being edited from direct input from typing and not shortcuts that manipulate text

()

   *         not shortcuts that manipulate text
   */
  boolean isDirectEdit() {
    return endUndoEvent != null;
  }


  void startTimerEvent() {