/*
* RapidMiner
*
* Copyright (C) 2001-2011 by Rapid-I and the contributors
*
* Complete list of developers available at our web site:
*
* http://rapid-i.com
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Affero General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see http://www.gnu.org/licenses/.
*/
package com.rapidminer.gui.tools;
import java.io.BufferedReader;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.Reader;
import java.util.logging.Level;
import javax.swing.text.html.HTMLEditorKit;
import javax.swing.text.html.StyleSheet;
import com.rapidminer.tools.LogService;
/**
* This Kit provides the basic Java HTML render capabilities, but extends the Java kit such that each Kit has its own
* StyleSheet.
*
* @author Sebastian Land
*/
public class ExtendedHTMLEditorKit extends HTMLEditorKit {
private static final long serialVersionUID = 7021507953344383064L;
private StyleSheet styleSheet;
public ExtendedHTMLEditorKit() {
styleSheet = new StyleSheet();
try {
InputStream is = HTMLEditorKit.class.getResourceAsStream(DEFAULT_CSS);
Reader r = new BufferedReader(new InputStreamReader(is, "ISO-8859-1"));
styleSheet.loadRules(r, null);
r.close();
} catch (Exception e) {
LogService.getRoot().log(Level.WARNING, "Cannot install stylesheet: "+e, e);
// on error we simply have no styles... the html
// will look mighty wrong but still function.
}
}
@Override
public StyleSheet getStyleSheet() {
return styleSheet;
}
@Override
public void setStyleSheet(StyleSheet s) {
this.styleSheet = s;
}
}