Method execute

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:649–653

(final Object down)

  /** Computes the height of the text and updates the scroll bar. */
  private final GUICode computeHeight = new GUICode() {
    @Override
    public void execute(final Object down) {
      rend.computeHeight();
      updateScrollpos.execute((Boolean) down ? 2 : 0);
    }
  };

  /** Updates the position of the scroll bar. */