X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.document.linking.ui%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Flinking%2Freport%2Fhtml%2FHTMLTocElement.java;h=a2613c061908e7c06c530088cb0b6b8601cdc802;hb=refs%2Fchanges%2F38%2F238%2F2;hp=0efda484d3b8c36f1bd9775a3fc03f335763b346;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.document.linking.ui/src/org/simantics/document/linking/report/html/HTMLTocElement.java b/bundles/org.simantics.document.linking.ui/src/org/simantics/document/linking/report/html/HTMLTocElement.java
index 0efda484d..a2613c061 100644
--- a/bundles/org.simantics.document.linking.ui/src/org/simantics/document/linking/report/html/HTMLTocElement.java
+++ b/bundles/org.simantics.document.linking.ui/src/org/simantics/document/linking/report/html/HTMLTocElement.java
@@ -1,42 +1,42 @@
-package org.simantics.document.linking.report.html;
-
-import org.simantics.document.linking.report.DocumentElement;
-import org.simantics.document.linking.report.TableOfContents;
-
-
-public class HTMLTocElement extends HTMLStreamElement implements TableOfContents {
-	
-	
-
-	HTMLTable tocTable;
-	
-	public HTMLTocElement(HTMLDocument writer) throws Exception{
-		super(writer);
-		this.os.println("<h2>Table of Contents</h2>");
-		tocTable = new HTMLTable(writer, os, false);
-		tocTable.setHeaderVisible(false);
-		tocTable.setLinesVisible(false);
-		tocTable.addColumn("Name", 1.0);
-	}
-	
-	@Override
-	public void addTocElement(String label, DocumentElement element) throws Exception{
-		HTMLElement e = (HTMLElement)element;
-		if (e.getId() == null)
-			throw new IllegalArgumentException("Element has no id " + element);
-		//os.println("<a href=\"#" + e.getId() + "\">" + label + "</a><br>");
-		tocTable.writeRow("<a href=\"#" + e.getId() + "\">" + label + "</a><br>");
-	}
-	
-	public void close() throws Exception{
-		tocTable.endTable();
-		os.print("<br>");
-		super.close();
-	}
-	
-	@Override
-	public String getId() {
-		return "toc";
-	}
-
-}
+package org.simantics.document.linking.report.html;
+
+import org.simantics.document.linking.report.DocumentElement;
+import org.simantics.document.linking.report.TableOfContents;
+
+
+public class HTMLTocElement extends HTMLStreamElement implements TableOfContents {
+	
+	
+
+	HTMLTable tocTable;
+	
+	public HTMLTocElement(HTMLDocument writer) throws Exception{
+		super(writer);
+		this.os.println("<h2>Table of Contents</h2>");
+		tocTable = new HTMLTable(writer, os, false);
+		tocTable.setHeaderVisible(false);
+		tocTable.setLinesVisible(false);
+		tocTable.addColumn("Name", 1.0);
+	}
+	
+	@Override
+	public void addTocElement(String label, DocumentElement element) throws Exception{
+		HTMLElement e = (HTMLElement)element;
+		if (e.getId() == null)
+			throw new IllegalArgumentException("Element has no id " + element);
+		//os.println("<a href=\"#" + e.getId() + "\">" + label + "</a><br>");
+		tocTable.writeRow("<a href=\"#" + e.getId() + "\">" + label + "</a><br>");
+	}
+	
+	public void close() throws Exception{
+		tocTable.endTable();
+		os.print("<br>");
+		super.close();
+	}
+	
+	@Override
+	public String getId() {
+		return "toc";
+	}
+
+}