docs: public void keyTyped(KeyEvent k) {
  
          // Strg+Enter or Shift+Enter executes the actual SQL statement in command panel
          if (k.getKeyChar() == '\n'
                  && (k.isControlDown() || k.isShiftDown())) {
              k.consume();
              execute();
              layoutCard.show(pCard, "result");
          }
      }