/
MainPanel.java
59 lines (53 loc) · 1.85 KB
/
MainPanel.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
// -*- mode:java; encoding:utf-8 -*-
// vim:set fileencoding=utf-8:
// @homepage@
package example;
import java.awt.*;
import javax.swing.*;
import javax.swing.text.html.HTMLEditorKit;
import javax.swing.text.html.StyleSheet;
public final class MainPanel extends JPanel {
private MainPanel() {
super(new BorderLayout());
StyleSheet styleSheet = new StyleSheet();
styleSheet.addRule("body {font-size: 12pt;}");
styleSheet.addRule(".highlight {color: red; background: green}");
HTMLEditorKit htmlEditorKit = new HTMLEditorKit();
htmlEditorKit.setStyleSheet(styleSheet);
// HTMLDocument htmlDocument = (HTMLDocument) htmlEditorKit.createDefaultDocument();
JEditorPane editor = new JEditorPane();
editor.setEditorKit(htmlEditorKit);
// editor.setDocument(htmlDocument);
editor.setText(makeTestHtml());
add(new JScrollPane(editor));
setPreferredSize(new Dimension(320, 240));
}
private static String makeTestHtml() {
return String.join("\n",
"<html><body>",
"<div>0000000</div>",
"<div class='highlight'>1111111111</div>",
"<div>2222222222</div>",
"</body></html>"
);
}
public static void main(String[] args) {
EventQueue.invokeLater(MainPanel::createAndShowGui);
}
private static void createAndShowGui() {
try {
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
} catch (UnsupportedLookAndFeelException ignored) {
Toolkit.getDefaultToolkit().beep();
} catch (ClassNotFoundException | InstantiationException | IllegalAccessException ex) {
ex.printStackTrace();
return;
}
JFrame frame = new JFrame("@title@");
frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
frame.getContentPane().add(new MainPanel());
frame.pack();
frame.setLocationRelativeTo(null);
frame.setVisible(true);
}
}