public void navigate(final boolean next) {
    final int pos = model.getParseTreePos();
    final ParseTree[] trees = model.getParseTrees();

    if(!next && pos <= 0 || next && pos >= trees.length - 1) return;

    showTree(pos + (next ? 1 : -1));
  }