blob: 7bc66958a4d129a550e663750fd53d2b14f4d7a2 (
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
|
//package nt;
import javax.swing.*;
import java.awt.*;
import java.net.URL;
import java.awt.event.*;
import java.applet.*;
public class P3 extends JPanel
{
JEditorPane pweb;
JEditorPane ta;
public P3 ()
{
pweb = new JEditorPane ();
pweb.setEditable (true);
String s = null, t = null;
try
{
s = "http://www.ugr.es/local/gmdm/java/contub/help/help.html";
URL helpURL = new URL (s);
pweb.setPage (helpURL);
}
catch (Exception e)
{
System.err.println ("Couldn't create help URL: " + s);
}
JScrollPane pwebscroll = new JScrollPane (pweb);
pwebscroll.setVerticalScrollBarPolicy (JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
pwebscroll.setBorder (BorderFactory.createCompoundBorder (BorderFactory.createTitledBorder ("HELP."), BorderFactory.createEtchedBorder (1)));
pwebscroll.setPreferredSize (new Dimension (850, 620));
pwebscroll.setMinimumSize (new Dimension (100, 100));
add (pwebscroll);
}
}
|
