]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java
Fixed all line endings of the repository
[simantics/platform.git] / bundles / org.simantics.debug.browser / src / org / simantics / debug / browser / sections / PageHeaderSection.java
index 8ba8dfa90c47a2825902f0a5c94082e9eae1c23d..cb2e33ef2d0ad4a4cff25ef783f89a2e90fd73d9 100644 (file)
@@ -1,49 +1,49 @@
-/*******************************************************************************\r
- * Copyright (c) 2016 Association for Decentralized Information Management\r
- * in Industry THTH ry.\r
- * All rights reserved. This program and the accompanying materials\r
- * are made available under the terms of the Eclipse Public License v1.0\r
- * which accompanies this distribution, and is available at\r
- * http://www.eclipse.org/legal/epl-v10.html\r
- *\r
- * Contributors:\r
- *     THTH ry - initial API and implementation\r
- *******************************************************************************/\r
-package org.simantics.debug.browser.sections;\r
-\r
-import java.io.PrintWriter;\r
-import java.io.StringWriter;\r
-\r
-import org.simantics.db.ReadGraph;\r
-\r
-public class PageHeaderSection implements ResourceBrowserSection {\r
-\r
-    private StringWriter stringWriter = new StringWriter();\r
-    private PrintWriter headWriter = new PrintWriter(stringWriter);\r
-\r
-    @Override\r
-    public double getPriority() {\r
-        return Double.NEGATIVE_INFINITY;\r
-    }\r
-\r
-    public PrintWriter getHeadWriter() {\r
-        return headWriter;\r
-    }\r
-\r
-    @Override\r
-    public void toHtml(ReadGraph graph, PrintWriter out) {\r
-        out.println("<!DOCTYPE html>");\r
-        out.println("<html lang=\"en\">");\r
-        out.println("<head>");\r
-        out.println("<meta charset=\"utf-8\">");\r
-        out.println("<title>Resource Browser</title>");\r
-        //out.println("<link rel=\"stylesheet\" type=\"text/css\" href=\"/css/jquery.dataTables.css\" />");\r
-        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-1.10.2.min.js\"></script>");\r
-        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-ui.min.js\"></script>");\r
-        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery.dataTables.min.js\"></script>");\r
-        out.write(stringWriter.toString());\r
-        out.println("</head>");\r
-        out.println("<body>");\r
-    }\r
-\r
-}\r
+/*******************************************************************************
+ * Copyright (c) 2016 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     THTH ry - initial API and implementation
+ *******************************************************************************/
+package org.simantics.debug.browser.sections;
+
+import java.io.PrintWriter;
+import java.io.StringWriter;
+
+import org.simantics.db.ReadGraph;
+
+public class PageHeaderSection implements ResourceBrowserSection {
+
+    private StringWriter stringWriter = new StringWriter();
+    private PrintWriter headWriter = new PrintWriter(stringWriter);
+
+    @Override
+    public double getPriority() {
+        return Double.NEGATIVE_INFINITY;
+    }
+
+    public PrintWriter getHeadWriter() {
+        return headWriter;
+    }
+
+    @Override
+    public void toHtml(ReadGraph graph, PrintWriter out) {
+        out.println("<!DOCTYPE html>");
+        out.println("<html lang=\"en\">");
+        out.println("<head>");
+        out.println("<meta charset=\"utf-8\">");
+        out.println("<title>Resource Browser</title>");
+        //out.println("<link rel=\"stylesheet\" type=\"text/css\" href=\"/css/jquery.dataTables.css\" />");
+        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-1.10.2.min.js\"></script>");
+        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery-ui.min.js\"></script>");
+        //out.println("<script type=\"text/javascript\" charset=\"utf8\" src=\"/js/jquery.dataTables.min.js\"></script>");
+        out.write(stringWriter.toString());
+        out.println("</head>");
+        out.println("<body>");
+    }
+
+}