home *** CD-ROM | disk | FTP | other *** search
/ CD Actual 27 / CDROM27.iso / share / wnt / jig / data1.cab / Program_Executable_Files / lib / jig.jar / WorkSpace.class (.txt) < prev   
Encoding:
Java Class File  |  1998-08-19  |  2.0 KB  |  71 lines
  1. import java.awt.Button;
  2. import java.awt.Component;
  3. import java.awt.Container;
  4. import java.awt.Dialog;
  5. import java.awt.Event;
  6. import java.awt.FlowLayout;
  7. import java.awt.Frame;
  8. import java.awt.Panel;
  9. import java.awt.TextArea;
  10. import java.awt.Window;
  11.  
  12. class WorkSpace extends Dialog {
  13.    BrowserView parent;
  14.    Button setButton;
  15.    TextArea textArea;
  16.  
  17.    WorkSpace(Frame var1, String var2) {
  18.       super(var1, var2, false);
  19.       this.parent = (BrowserView)var1;
  20.       this.textArea = new TextArea(5, 40);
  21.       this.textArea.setEditable(true);
  22.       ((Container)this).add("Center", this.textArea);
  23.       Panel var3 = new Panel();
  24.       ((Container)var3).setLayout(new FlowLayout(2));
  25.       this.setButton = new Button(BrowserOptions.messages.getString("Close"));
  26.       ((Container)var3).add(this.setButton);
  27.       ((Container)this).add("South", var3);
  28.       ((Component)this).setSize(350, 250);
  29.       ((Window)this).pack();
  30.       ((Dialog)this).show();
  31.    }
  32.  
  33.    public boolean action(Event var1, Object var2) {
  34.       if (var1.target == this.setButton) {
  35.          this.close();
  36.       }
  37.  
  38.       return true;
  39.    }
  40.  
  41.    public void output(String var1) {
  42.       this.textArea.appendText(var1);
  43.    }
  44.  
  45.    public String getText() {
  46.       return this.textArea.getText();
  47.    }
  48.  
  49.    public void close() {
  50.       this.parent.deleteWorkSpace();
  51.       ((Window)this).dispose();
  52.    }
  53.  
  54.    public String getSelectedText() {
  55.       String var1 = this.textArea.getText();
  56.       int var2 = this.parent.adjust(var1, this.textArea.getSelectionStart());
  57.       int var3 = this.parent.adjust(var1, this.textArea.getSelectionEnd());
  58.       String var4 = var1.substring(var2, var3);
  59.       return var4;
  60.    }
  61.  
  62.    public boolean handleEvent(Event var1) {
  63.       switch (var1.id) {
  64.          case 201:
  65.             this.close();
  66.          default:
  67.             return super.handleEvent(var1);
  68.       }
  69.    }
  70. }
  71.