Method release

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:712–713

Releases a key or mouse. Can be overwritten to react on events. @param action action

(final Action action)

   * @param action action
   */
  @SuppressWarnings("unused")
  protected void release(final Action action) { }

  /**
   * Refreshes the layout.