equal
deleted
inserted
replaced
62 if (!enableModuleGraph) { |
62 if (!enableModuleGraph) { |
63 return ""; |
63 return ""; |
64 } |
64 } |
65 |
65 |
66 String moduleName = ((ModuleElement) element).getQualifiedName().toString(); |
66 String moduleName = ((ModuleElement) element).getQualifiedName().toString(); |
67 String imageFile = "module-graph.png"; |
67 String imageFile = "module-graph.svg"; |
68 int thumbnailHeight = -1; |
68 int thumbnailHeight = -1; |
69 String hoverImage = ""; |
69 String hoverImage = ""; |
70 if (!moduleName.equals("java.base")) { |
70 if (!moduleName.equals("java.base")) { |
71 thumbnailHeight = 100; // also appears in the stylesheet |
71 thumbnailHeight = 100; // also appears in the stylesheet |
72 hoverImage = "<span>" |
72 hoverImage = "<span>" |