Commit 827c3457 authored by Christophe Demarey's avatar Christophe Demarey

Allows copy/paste from output pane and autoscrolling.

parent c1c75470
......@@ -30,14 +30,11 @@ import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.io.BufferedReader;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.Reader;
import java.io.StringReader;
import java.net.MalformedURLException;
import java.net.URL;
import java.util.Set;
import java.util.StringTokenizer;
......@@ -56,10 +53,8 @@ import javax.swing.text.StyleConstants;
import javax.swing.text.StyleContext;
import javax.swing.text.StyledDocument;
import org.mortbay.log.Log;
import org.objectweb.fractal.fscript.FScriptException;
import org.objectweb.fractal.fscript.InvalidScriptException;
import org.ow2.frascati.explorer.ExplorerGUI;
import org.ow2.frascati.factory.runtime.domain.api.DomainConfig;
import org.ow2.frascati.fscript.FraSCAtiScript;
......@@ -118,7 +113,8 @@ public class Console extends JFrame {
protected void addComponents() {
outputScrollPane.setViewportView(output);
output.setBackground(new Color(255, 255, 204));
output.setFocusable(false);
output.setAutoscrolls(true);
output.setEditable(false);
outputScrollPane.setPreferredSize(new Dimension(500,300));
input.setMinimumSize( new Dimension(4,19) );
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment