package org.jabref.gui.util.component; import javax.swing.JTextPane; import javax.swing.text.html.HTMLEditorKit; import javax.swing.text.html.StyleSheet; public class DiffHighlightingTextPane extends JTextPane { private static final String BODY_STYLE = "body{font:sans-serif}"; private static final String ADDITION_STYLE = ".add{color:blue;text-decoration:underline}"; private static final String REMOVAL_STYLE = ".del{color:red;text-decoration:line-through;}"; private static final String CHANGE_STYLE = ".change{color:#006400;text-decoration:underline}"; private static final String CONTENT_TYPE = "text/html"; public DiffHighlightingTextPane() { super(); setContentType(CONTENT_TYPE); StyleSheet sheet = ((HTMLEditorKit) getEditorKit()).getStyleSheet(); sheet.addRule(BODY_STYLE); sheet.addRule(ADDITION_STYLE); sheet.addRule(REMOVAL_STYLE); sheet.addRule(CHANGE_STYLE); setEditable(false); } }