navigationMenu.add(gotoNextSection);
Button gotoPrevSection = new Button("Goto Previous Page");
gotoPrevSection.setIconStyle("icon-menu-previousSection");
if(results.getStart() == 0)
gotoPrevSection.disable();
gotoPrevSection.addSelectionListener(new SelectionListener<ButtonEvent>(){
@Override
public void componentSelected(ButtonEvent ce) {
Commands.getInstance().performManualSearch(
ClientState.getCurrentlyDerivedFile(), results.getQuery(), results.getStart() - results.getOffset(),