Method keyPressed

app/src/processing/app/EditorStatus.java:277–282

(KeyEvent event)

      // Grab ESC with keyPressed, because it's not making it to keyTyped
      public void keyPressed(KeyEvent event) {
        if (event.getKeyChar() == KeyEvent.VK_ESCAPE) {
          unedit();
          event.consume();
        }
      }

      // use keyTyped to catch when the feller is actually
      // added to the text field. with keyTyped, as opposed to