home *** CD-ROM | disk | FTP | other *** search
/ Maximum CD 2003 January / maximum-cd-2003-01.iso / Software / Apps / OperawithJava / ow32enen700b1j.exe / OPERA.JAR / opera / JavaConsole.class (.txt) < prev    next >
Encoding:
Java Class File  |  2002-11-05  |  3.1 KB  |  99 lines
  1. package opera;
  2.  
  3. import java.awt.Button;
  4. import java.awt.Frame;
  5. import java.awt.TextArea;
  6. import java.awt.event.ActionEvent;
  7. import java.awt.event.ActionListener;
  8. import java.awt.event.KeyEvent;
  9. import java.awt.event.KeyListener;
  10. import java.awt.event.WindowEvent;
  11. import java.awt.event.WindowListener;
  12.  
  13. public class JavaConsole extends Frame implements WindowListener, ActionListener, KeyListener {
  14.    private TextArea output_area = new TextArea();
  15.    private Button but;
  16.  
  17.    public JavaConsole() {
  18.       super("Opera Java console");
  19.       this.add(this.output_area);
  20.       this.but = new Button("Clear");
  21.       this.but.addActionListener(this);
  22.       this.add("South", this.but);
  23.       this.pack();
  24.       this.output_area.setVisible(true);
  25.       this.output_area.setEditable(false);
  26.       this.setSize(300, 250);
  27.       ConsoleOStream var1 = new ConsoleOStream(this.output_area);
  28.       System.setOut(var1);
  29.       System.setErr(var1);
  30.       this.addWindowListener(this);
  31.       this.output_area.addKeyListener(this);
  32.       this.printInfo();
  33.    }
  34.  
  35.    public void keyTyped(KeyEvent var1) {
  36.    }
  37.  
  38.    public void keyPressed(KeyEvent var1) {
  39.       switch (var1.getKeyCode()) {
  40.          case 72:
  41.             this.printHelp();
  42.             break;
  43.          case 76:
  44.             PluginPanel.printClassLoaders();
  45.             break;
  46.          case 88:
  47.             PluginPanel.clearClassLoaderCache();
  48.       }
  49.  
  50.    }
  51.  
  52.    private void printInfo() {
  53.       System.out.println("-- Opera Java Console --\n");
  54.       System.out.println("Java vendor: " + System.getProperty("java.vendor"));
  55.       System.out.println("Java version: " + System.getProperty("java.version"));
  56.       System.out.println("\ntype 'h' for help\n\n--");
  57.    }
  58.  
  59.    private void printHelp() {
  60.       System.out.println("\nCommands:\n----------------------------------------");
  61.       System.out.println("h - help");
  62.       System.out.println("l - list cached classloaders");
  63.       System.out.println("x - clear classloader cache\n");
  64.    }
  65.  
  66.    public void keyReleased(KeyEvent var1) {
  67.    }
  68.  
  69.    public void windowActivated(WindowEvent var1) {
  70.    }
  71.  
  72.    public void windowClosed(WindowEvent var1) {
  73.    }
  74.  
  75.    public void windowClosing(WindowEvent var1) {
  76.       this.dispose();
  77.    }
  78.  
  79.    public void windowDeactivated(WindowEvent var1) {
  80.    }
  81.  
  82.    public void windowDeiconified(WindowEvent var1) {
  83.    }
  84.  
  85.    public void windowIconified(WindowEvent var1) {
  86.    }
  87.  
  88.    public void windowOpened(WindowEvent var1) {
  89.    }
  90.  
  91.    public void actionPerformed(ActionEvent var1) {
  92.       if (var1.getSource() == this.but) {
  93.          this.output_area.setText((String)null);
  94.          this.printInfo();
  95.       }
  96.  
  97.    }
  98. }
  99.