home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / kepler / kepler.jar / TextDrawPanel.class (.txt) < prev    next >
Encoding:
Java Class File  |  2002-12-04  |  4.0 KB  |  155 lines
  1. import java.awt.Button;
  2. import java.awt.Color;
  3. import java.awt.Component;
  4. import java.awt.Container;
  5. import java.awt.Font;
  6. import java.awt.Graphics;
  7. import java.awt.Image;
  8. import java.awt.LayoutManager;
  9. import java.awt.MediaTracker;
  10. import java.awt.Panel;
  11. import java.awt.image.ImageObserver;
  12.  
  13. public class TextDrawPanel 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.Button
  25.    public Button field_2;
  26.    public WButton copyB;
  27.    int style;
  28.    int size;
  29.    Font tFont;
  30.    // $FF: renamed from: td TextDraw
  31.    public TextDraw field_3;
  32.  
  33.    public void paint(Graphics var1) {
  34.       super.paint(var1);
  35.       if (this.first) {
  36.          MediaTracker var2 = new MediaTracker(this);
  37.          this.buffer = ((Component)this).createImage(this.field_0, this.field_1);
  38.          var2.addImage(this.buffer, 0);
  39.  
  40.          try {
  41.             var2.waitForAll();
  42.          } catch (Exception var4) {
  43.          }
  44.  
  45.          this.bufferG = this.buffer.getGraphics();
  46.          this.first = false;
  47.       }
  48.  
  49.       this.bufferG.setColor(this.background);
  50.       this.bufferG.fillRect(0, 0, this.field_0, this.field_1);
  51.       this.bufferG.setColor(this.borderColor);
  52.       this.bufferG.drawRect(0, 0, this.field_0 - 1, this.field_1 - 1);
  53.       this.bufferG.setColor(Color.black);
  54.       this.bufferG.setFont(this.tFont);
  55.       this.field_3.drawPara(this.bufferG, this.text, 0, this.size, ((Component)this).getWidth());
  56.       this.field_2.setLabel(this.getReadableString());
  57.       var1.drawImage(this.buffer, 0, 0, (ImageObserver)null);
  58.    }
  59.  
  60.    public String getReadableString() {
  61.       return this.field_3.getReadableString();
  62.    }
  63.  
  64.    public void setTabWidth(int var1) {
  65.       this.field_3.setTabWidth(var1);
  66.    }
  67.  
  68.    public TextDrawPanel() {
  69.       this.background = Color.white;
  70.       this.borderColor = this.background;
  71.       this.field_2 = new Button();
  72.       this.copyB = new WButton("copy all text");
  73.       this.style = 0;
  74.       this.size = 12;
  75.       this.tFont = new Font("SansSerif", this.style, this.size);
  76.       this.field_3 = new TextDraw();
  77.       this.init();
  78.    }
  79.  
  80.    public TextDrawPanel(String var1) {
  81.       this.background = Color.white;
  82.       this.borderColor = this.background;
  83.       this.field_2 = new Button();
  84.       this.copyB = new WButton("copy all text");
  85.       this.style = 0;
  86.       this.size = 12;
  87.       this.tFont = new Font("SansSerif", this.style, this.size);
  88.       this.field_3 = new TextDraw();
  89.       this.text = var1;
  90.       this.init();
  91.    }
  92.  
  93.    public void init() {
  94.       ((Container)this).setLayout((LayoutManager)null);
  95.       this.field_2.setBounds(0, 0, 0, 0);
  96.       ((Component)this).addMouseListener(new TextDrawPanel$ML(this));
  97.       this.field_2.addFocusListener(new TextDrawPanel$FL(this));
  98.       this.field_2.setLabel(this.text);
  99.       ((Container)this).add(this.field_2, (Object)null);
  100.       this.copyB.addActionListener(new TextDrawPanel$1(this));
  101.       this.copyB.setVisible(false);
  102.       ((Container)this).add(this.copyB, (Object)null);
  103.       this.field_3.setFont(this.tFont);
  104.    }
  105.  
  106.    public void setBackground(Color var1) {
  107.       this.background = var1;
  108.    }
  109.  
  110.    public void setBounds(int var1, int var2, int var3, int var4) {
  111.       super.setBounds(var1, var2, var3, var4);
  112.       this.field_0 = var3;
  113.       this.field_1 = var4;
  114.    }
  115.  
  116.    public void setFont(String var1, int var2, int var3) {
  117.       this.style = var2;
  118.       this.size = var3;
  119.       this.tFont = new Font(var1, var2, var3);
  120.    }
  121.  
  122.    public void setText(String var1) {
  123.       this.text = var1;
  124.       ((Component)this).repaint();
  125.    }
  126.  
  127.    public void setWidth(int var1) {
  128.       this.field_0 = var1;
  129.    }
  130.  
  131.    public void setExtraTagsEnabled(boolean var1) {
  132.       this.field_3.setExtraTagsEnabled(this, var1);
  133.    }
  134.  
  135.    public TextDraw getTextDraw() {
  136.       return this.field_3;
  137.    }
  138.  
  139.    public void extraTags() {
  140.    }
  141.  
  142.    public TextDrawPanel(String var1, int var2, int var3, int var4) {
  143.       this.background = Color.white;
  144.       this.borderColor = this.background;
  145.       this.field_2 = new Button();
  146.       this.copyB = new WButton("copy all text");
  147.       this.style = 0;
  148.       this.size = 12;
  149.       this.tFont = new Font("SansSerif", this.style, this.size);
  150.       this.field_3 = new TextDraw();
  151.       this.text = var1;
  152.       this.init();
  153.    }
  154. }
  155.