}
});
addMatchesMenu.add(manuallySearchMatch);
MenuItem manuallyNavigateMatch = new MenuItem("Manual Navigation");
manuallyNavigateMatch.addSelectionListener(new SelectionListener<MenuEvent>(){
@Override
public void componentSelected(MenuEvent ce) {
Commands.getInstance().showSelectSection(ClientState.getCurrentlyDerivedFile(), new TableOfContentsPanelItemSelectedListener(){
public void tocp_itemSelected(TableOfContentsEntry entry) {
Commands.getInstance().selectSection(ClientState.getCurrentlyDerivedFile(), entry, new CommandCallback<Section>(){