|
|
@ -79,9 +79,11 @@ public class Main |
|
|
|
classTree.addTreeSelectionListener(this); |
|
|
|
classTree.addTreeSelectionListener(this); |
|
|
|
JScrollPane spClassTree = new JScrollPane(classTree); |
|
|
|
JScrollPane spClassTree = new JScrollPane(classTree); |
|
|
|
sourcecodeArea = new JTextArea(20, 80); |
|
|
|
sourcecodeArea = new JTextArea(20, 80); |
|
|
|
|
|
|
|
sourcecodeArea.setEditable(false); |
|
|
|
sourcecodeArea.setFont(monospaced); |
|
|
|
sourcecodeArea.setFont(monospaced); |
|
|
|
JScrollPane spText = new JScrollPane(sourcecodeArea); |
|
|
|
JScrollPane spText = new JScrollPane(sourcecodeArea); |
|
|
|
errorArea = new JTextArea(3, 80); |
|
|
|
errorArea = new JTextArea(3, 80); |
|
|
|
|
|
|
|
errorArea.setEditable(false); |
|
|
|
errorArea.setFont(monospaced); |
|
|
|
errorArea.setFont(monospaced); |
|
|
|
JScrollPane spError = new JScrollPane(errorArea); |
|
|
|
JScrollPane spError = new JScrollPane(errorArea); |
|
|
|
|
|
|
|
|
|
|
|