/** * Builds an html-info string about the current page and its linked resources * * @return HTML-String */ private String getCurrentPageInfoStringHTML() { // test if currentPage links to resource, which is used (linked) somewhere // else in the manifest final CPManager cpMgm = CPManager.getInstance(); final DefaultElement ele = cpMgm.getElementByIdentifier(cp, currentPage.getIdRef()); boolean single = false; if (ele instanceof CPResource) { final CPResource res = (CPResource) ele; single = cpMgm.isSingleUsedResource(res, cp); } final StringBuilder b = new StringBuilder(); b.append("<br /><ul>"); b.append( "<li><b>" + translate("cptreecontroller.pagetitle") + "</b> " + currentPage.getTitle() + "</li>"); if (single) { b.append( "<li><b>" + translate("cptreecontroller.file") + "</b> " + currentPage.getFileName() + "</li>"); } b.append("</ul>"); return b.toString(); }