summaryrefslogtreecommitdiffstats
path: root/khtml/java/org/kde/kjas/server/KJASConsole.java
diff options
context:
space:
mode:
Diffstat (limited to 'khtml/java/org/kde/kjas/server/KJASConsole.java')
-rw-r--r--khtml/java/org/kde/kjas/server/KJASConsole.java93
1 files changed, 0 insertions, 93 deletions
diff --git a/khtml/java/org/kde/kjas/server/KJASConsole.java b/khtml/java/org/kde/kjas/server/KJASConsole.java
deleted file mode 100644
index 51498b59b..000000000
--- a/khtml/java/org/kde/kjas/server/KJASConsole.java
+++ /dev/null
@@ -1,93 +0,0 @@
-package org.kde.kjas.server;
-
-import java.awt.*;
-import java.awt.event.*;
-import java.io.*;
-
-public class KJASConsole
- extends Frame
- implements Console
-{
- private TextArea txt;
-
- public KJASConsole()
- {
- super("Konqueror Java Console");
-
- txt = new TextArea();
- txt.setEditable(false);
- txt.setBackground(Color.white);
- txt.setForeground(Color.black);
-
- Panel main = new Panel(new BorderLayout());
- Panel btns = new Panel(new BorderLayout());
-
- Button clear = new Button("Clear");
- Button close = new Button("Close");
-
- btns.add(clear, "West");
- btns.add(close, "East");
-
- main.add(txt, "Center");
- main.add(btns, "South");
-
- add( main );
-
- clear.addActionListener
- (
- new ActionListener() {
- public void actionPerformed(ActionEvent e) {
- txt.setText("");
- }
- }
- );
-
- close.addActionListener
- (
- new ActionListener() {
- public void actionPerformed(ActionEvent e) {
- setVisible(false);
- }
- }
- );
-
- addWindowListener
- (
- new WindowAdapter() {
- public void windowClosing(WindowEvent e) {
- setVisible(false);
- }
- }
- );
-
- setSize(500, 300);
-
- PrintStream st = new PrintStream( new KJASConsoleStream(this) );
- System.setOut(st);
- System.setErr(st);
-
- System.out.println( "Java VM version: " +
- System.getProperty("java.version") );
- System.out.println( "Java VM vendor: " +
- System.getProperty("java.vendor") );
- }
-
- public void clear() {
- txt.setText("");
- }
-
- public void append(String msg) {
- if (msg == null) {
- return;
- }
- int length = msg.length();
- synchronized(txt) {
- //get the caret position, and then get the new position
- int old_pos = txt.getCaretPosition();
- txt.append(msg);
- txt.setCaretPosition( old_pos + length );
- }
- }
-}
-
-