Method keyTyped

app/src/processing/app/ui/ExamplesFrame.java:130–139

(KeyEvent e)

        }
      }
      public void keyTyped(KeyEvent e) {
        if (e.getKeyChar() == KeyEvent.VK_ENTER) {
          DefaultMutableTreeNode node =
            (DefaultMutableTreeNode) tree.getLastSelectedPathComponent();
          if (node != null && node.isLeaf()) {
            SketchReference sketch = (SketchReference) node.getUserObject();
            base.handleOpenExample(sketch.getPath(), mode);
          }
        }
      }
    });

    tree.addTreeExpansionListener(new TreeExpansionListener() {