if (toolRenderer && getProperty("showToolImage")) {
var id = useToolNumber ? tool.number : (currentSection.getId() + 1);
var path = "tool" + id + ".png";
var width = 2.5 * 100;
var height = 2.5 * 133;
try {
if (!exportedTools[id]) {
toolRenderer.exportAs(path, "image/png", tool, width, height);
exportedTools[id] = true; // do not export twice
}
c4 = "<table class=\"info\" cellspacing=\"0\">" +
makeRow("<td class=\"image\"><img width=\"100px\" src=\"" + encodeURIComponent(path) + "\"/></td>") +
"</table>";
} catch (e) {
// ignore
}
}