public void updateFragment(DisplayedResultQuery q)
  {
    List<String> args = Helper.citationFragment(q.getQuery(), q.getCorpora(),
      q.getLeftContext(), q.getRightContext(),
      q.getSegmentation(), q.getBaseText(), q.getOffset(), q.getLimit(), q.getOrder(),
      q.getSelectedMatches());

    // set our fragment
    lastEvaluatedFragment = StringUtils.join(args, "&");
    UI.getCurrent().getPage().setUriFragment(lastEvaluatedFragment, false);

    // reset title
    Page.getCurrent().setTitle(
      ui.getInstanceConfig().getInstanceDisplayName() + " (ANNIS Corpus Search)");
  }
public void updateFragment ( DisplayedResultQuery q ) { List < String > args = Helper . citationFragment ( q . getQuery ( ) , q . getCorpora ( ) , q . getLeftContext ( ) , q . getRightContext ( ) , q . getSegmentation ( ) , q . getBaseText ( ) , q . getOffset ( ) , q . getLimit ( ) , q . getOrder ( ) , q . getSelectedMatches ( ) ) ; lastEvaluatedFragment = StringUtils . join ( args , "&" ) ; UI . getCurrent ( ) . getPage ( ) . setUriFragment ( lastEvaluatedFragment , false ) ; Page . getCurrent ( ) . setTitle ( ui . getInstanceConfig ( ) . getInstanceDisplayName ( ) + " (ANNIS Corpus Search)" ) ; }
Updates the browser address bar with the current query parameters and the
query itself.

This is for convenient reloading the vaadin app and easy copying citation
links.

@param q The query where the parameters are extracted from.