Method keyTyped

app/src/processing/app/ui/About.java:62–67

(KeyEvent e)

    addKeyListener(new KeyAdapter() {
      public void keyTyped(KeyEvent e) {
        System.out.println(e);
        if (e.getKeyCode() == KeyEvent.VK_ESCAPE) {
          dispose();
        }
      }
    });

    setSize(width, height);