static KeyListener ctrlEnterKeyListener(fO action) {
  fO info = _threadInfo();
  ret new KeyAdapter {
    public void keyReleased(KeyEvent ke) {
      if (ke.getKeyCode() == KeyEvent.VK_ENTER && ke.getModifiers() == KeyEvent.CTRL_MASK) {
        _threadInheritInfo(info);
        pcallF(action);
      }
    }
  };
}