blob: e0ee56fd691dcd588abcb105e59bb43cbed4c0fd (
plain)
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
|
import javax.swing.JEditorPane;
import javax.swing.event.HyperlinkListener;
import javax.swing.event.HyperlinkEvent;
import javax.swing.text.Document;
import java.net.URL;
class TextLogger
extends JEditorPane
{
public TextLogger ()
throws java.io.IOException
{
// maDocument = getEditorKit().createDefaultDocument();
super ("http://localhost");
try
{
// setPage (new URL ("http://www.spiegel.de"));
}
catch (Exception e)
{}
setEditable (false);
final JEditorPane finalPane = this;
addHyperlinkListener (new HyperlinkListener()
{
public void hyperlinkUpdate (HyperlinkEvent e)
{
try
{
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED)
finalPane.setPage (e.getURL());
}
catch (java.io.IOException ex)
{
ex.printStackTrace(System.err);
}
}
});
}
public void appendText (String sText)
{
try
{
maDocument.insertString (maDocument.getLength(), sText, null);
}
catch (javax.swing.text.BadLocationException e)
{}
}
private Document maDocument;
}
|