public void onNavigate(HelpNavigateEvent event)
{
if (!historyInitialized_)
return;
CsvWriter csvWriter = new CsvWriter();
csvWriter.writeValue(getApplicationRelativeHelpUrl(event.getUrl()));
csvWriter.writeValue(event.getTitle());
helpHistoryList_.append(csvWriter.getValue());
}
}) ;
SelectionHandler<String> navigator = new SelectionHandler<String>() {
public void onSelection(SelectionEvent<String> event)