Paning the editor panel with Ctrl +arrows does not work when several work tabs are open

It looks like the Ctrl+Up (and Ctrl+Down) are used for moving focus in standard look and feel implementation (https://www.jidesoft.com/forum/viewtopic.php?f=18&t=10023)

Either redefine the key mapping or choose a different key combination for panning.

This can be fixed by redefining input map of GraphEditorPanel.

Add this code to the constructor of GraphEditorPanel:

  this.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_UP, Event.CTRL_MASK), "doNothing");
  this.getActionMap().put("doNothing", new AbstractAction() {
   public void actionPerformed(ActionEvent e) {
    //do nothing
   }
  });