public void processKeyPressed()

in src/org/jetbrains/plugins/ipnb/editor/panels/IpnbFilePanel.java [583:603]


  public void processKeyPressed(KeyEvent e) {
    if (mySelectedCellPanel != null && e.getID() == KeyEvent.KEY_PRESSED) {
      if (e.getKeyCode() == KeyEvent.VK_ENTER) {
        mySelectedCellPanel.switchToEditing();
      }
      if (e.getKeyCode() == KeyEvent.VK_UP) {
        selectPrev(mySelectedCellPanel);
      }
      else if (e.getKeyCode() == KeyEvent.VK_DOWN) {
        selectNext(mySelectedCellPanel, false);
      }
      else if (e.getKeyCode() == KeyEvent.VK_L) {
        if (mySelectedCellPanel instanceof IpnbCodePanel && !mySelectedCellPanel.isEditing()) {
          IpnbToggleLineNumbersAction.toggleLineNumbers((IpnbCodePanel)mySelectedCellPanel);
        }
      }
      else {
        getParent().dispatchEvent(e);
      }
    }
  }