X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.debug.browser%2Fsrc%2Forg%2Fsimantics%2Fdebug%2Fbrowser%2Fsections%2FPageHeaderSection.java;h=cb2e33ef2d0ad4a4cff25ef783f89a2e90fd73d9;hb=cf9bdb9c3223ccee2b0a264d72dcc84091718043;hp=8ba8dfa90c47a2825902f0a5c94082e9eae1c23d;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java index 8ba8dfa90..cb2e33ef2 100644 --- a/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java +++ b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/sections/PageHeaderSection.java @@ -1,49 +1,49 @@ -/******************************************************************************* - * 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(""); - out.println(""); - out.println("
"); - out.println(""); - out.println("