Untitled

  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
    }
  }