currentPlace.fireChildPlaceNavigation(
FileSelectedPlace.PLACE.createNavigationEvent(path));
}
});
}
outer.appendChild(title);
JsoArray<Snippet> snippets = (JsoArray<Snippet>) item.getSnippets();
for (int j = 0; j < snippets.size(); j++) {
DivElement snippetDiv = Elements.createDivElement(css.snippet());
final int lineNo = snippets.get(j).getLineNumber();
snippetDiv.setTextContent(lineNo + ": " + snippets.get(j).getSnippetText());