Method keyReleased

basex-core/src/main/java/org/basex/gui/GUIInput.java:86–93

(final KeyEvent e)

      }

      @Override
      public void keyReleased(final KeyEvent e) {
        if(!NEXTLINE.is(e) && !PREVLINE.is(e)) {
          if(modifier(e) || control(e)) return;
          popupMenu();
          if(gui.gopts.get(GUIOptions.EXECRT) && !cmdMode()) main.execute();
        }
      }
    });
  }