Method keyPressed

app/src/processing/app/ui/EditorStatus.java:179–185

(KeyEvent e)

    editor.getTextArea().addKeyListener(new KeyAdapter() {
      @Override
      public void keyPressed(KeyEvent e) {
        if (shiftDown != e.isShiftDown()) {
          shiftDown = e.isShiftDown();
          repaint();
        }
      }

      @Override
      public void keyReleased(KeyEvent e) {