home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / kepler / kepler.jar / WTextArea.class (.txt) < prev    next >
Encoding:
Java Class File  |  2002-12-02  |  3.5 KB  |  131 lines
  1. import java.awt.Color;
  2. import java.awt.Component;
  3. import java.awt.Container;
  4. import java.awt.Font;
  5. import java.awt.Graphics;
  6. import java.awt.Image;
  7. import java.awt.LayoutManager;
  8. import java.awt.MediaTracker;
  9. import java.awt.Panel;
  10. import java.awt.TextArea;
  11. import java.awt.image.ImageObserver;
  12.  
  13. public class WTextArea extends Panel {
  14.    boolean first = true;
  15.    String text = "";
  16.    // $FF: renamed from: w int
  17.    int field_0;
  18.    // $FF: renamed from: h int
  19.    int field_1;
  20.    Color background;
  21.    Color borderColor;
  22.    Image buffer;
  23.    Graphics bufferG;
  24.    // $FF: renamed from: ta java.awt.TextArea
  25.    public TextArea field_2;
  26.    int style;
  27.    int size;
  28.    Font tFont;
  29.    // $FF: renamed from: td TextDraw
  30.    public TextDraw field_3;
  31.  
  32.    public void paint(Graphics var1) {
  33.       if (this.first) {
  34.          MediaTracker var2 = new MediaTracker(this);
  35.          this.buffer = ((Component)this).createImage(this.field_0, this.field_1);
  36.          var2.addImage(this.buffer, 0);
  37.  
  38.          try {
  39.             var2.waitForAll();
  40.          } catch (Exception var4) {
  41.          }
  42.  
  43.          this.bufferG = this.buffer.getGraphics();
  44.          this.first = false;
  45.       }
  46.  
  47.       this.bufferG.setColor(this.background);
  48.       this.bufferG.fillRect(0, 0, this.field_0, this.field_1);
  49.       this.bufferG.setColor(this.borderColor);
  50.       this.bufferG.drawRect(0, 0, this.field_0 - 1, this.field_1 - 1);
  51.       this.bufferG.setColor(Color.black);
  52.       this.bufferG.setFont(this.tFont);
  53.       this.field_3.drawPara(this.bufferG, this.text, 0, this.size, ((Component)this).getWidth());
  54.       this.field_2.setText(this.field_3.getReadableString());
  55.       var1.drawImage(this.buffer, 0, 0, (ImageObserver)null);
  56.    }
  57.  
  58.    public void setTabWidth(int var1) {
  59.       this.field_3.setTabWidth(var1);
  60.    }
  61.  
  62.    public WTextArea(String var1) {
  63.       this.background = Color.white;
  64.       this.borderColor = this.background;
  65.       this.field_2 = new TextArea();
  66.       this.style = 0;
  67.       this.size = 12;
  68.       this.tFont = new Font("SanSerif", this.style, this.size);
  69.       this.field_3 = new TextDraw();
  70.       this.text = var1;
  71.       this.init();
  72.    }
  73.  
  74.    public void init() {
  75.       ((Container)this).setLayout((LayoutManager)null);
  76.       this.field_2.setBounds(0, 0, 12, 20);
  77.       this.field_2.addKeyListener(new WTextArea$KL(this));
  78.       ((Component)this).addMouseListener(new WTextArea$ML(this));
  79.       this.field_2.addFocusListener(new WTextArea$FL(this));
  80.       this.field_2.setText(this.text);
  81.       ((Container)this).add(this.field_2, (Object)null);
  82.    }
  83.  
  84.    public void setBackground(Color var1) {
  85.       this.background = var1;
  86.    }
  87.  
  88.    public void setBounds(int var1, int var2, int var3, int var4) {
  89.       super.setBounds(var1, var2, var3, var4);
  90.       this.field_0 = var3;
  91.       this.field_1 = var4;
  92.    }
  93.  
  94.    public void setFont(String var1, int var2, int var3) {
  95.       this.style = var2;
  96.       this.size = var3;
  97.       this.tFont = new Font(var1, var2, var3);
  98.    }
  99.  
  100.    public void setText(String var1) {
  101.       this.text = var1;
  102.       ((Component)this).repaint();
  103.    }
  104.  
  105.    public void setWidth(int var1) {
  106.       this.field_0 = var1;
  107.    }
  108.  
  109.    public void setExtraTags() {
  110.    }
  111.  
  112.    public TextDraw getTextDraw() {
  113.       return this.field_3;
  114.    }
  115.  
  116.    public void doExtraTags() {
  117.    }
  118.  
  119.    public WTextArea(String var1, int var2, int var3, int var4) {
  120.       this.background = Color.white;
  121.       this.borderColor = this.background;
  122.       this.field_2 = new TextArea();
  123.       this.style = 0;
  124.       this.size = 12;
  125.       this.tFont = new Font("SanSerif", this.style, this.size);
  126.       this.field_3 = new TextDraw();
  127.       this.text = var1;
  128.       this.init();
  129.    }
  130. }
  131.