From 4888c5f98cc02b903ee8dc10e968a1cec69fcea7 Mon Sep 17 00:00:00 2001 From: hoenicke Date: Mon, 29 Jan 2001 19:45:22 +0000 Subject: [PATCH] Set fields to not editable. git-svn-id: https://svn.code.sf.net/p/jode/code/branches/branch_1_1@1285 379699f6-c40d-0410-875b-85095c16579e --- jode/jode/swingui/Main.java.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/jode/jode/swingui/Main.java.in b/jode/jode/swingui/Main.java.in index 21bcf36..a69bee0 100644 --- a/jode/jode/swingui/Main.java.in +++ b/jode/jode/swingui/Main.java.in @@ -79,9 +79,11 @@ public class Main classTree.addTreeSelectionListener(this); JScrollPane spClassTree = new JScrollPane(classTree); sourcecodeArea = new JTextArea(20, 80); + sourcecodeArea.setEditable(false); sourcecodeArea.setFont(monospaced); JScrollPane spText = new JScrollPane(sourcecodeArea); errorArea = new JTextArea(3, 80); + errorArea.setEditable(false); errorArea.setFont(monospaced); JScrollPane spError = new JScrollPane(errorArea);