diff options
author | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1998-04-12 01:02:34 +0000 |
---|---|---|
committer | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1998-04-12 01:02:34 +0000 |
commit | 2996933cc12d5493d68fad3873a45c3aabba3e18 (patch) | |
tree | eca5b8bdef0a38fe4736df3c33f73da99ab487bb /java/ImageProcessing/framework/StatusIndicator.java | |
parent | 55c07b3e66734053a180f1d0ebb644ea6fa3c3bf (diff) | |
download | ATCD-Current.tar.gz |
This commit was manufactured by cvs2svn to create tag 'Current'.Current
Diffstat (limited to 'java/ImageProcessing/framework/StatusIndicator.java')
-rw-r--r-- | java/ImageProcessing/framework/StatusIndicator.java | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/java/ImageProcessing/framework/StatusIndicator.java b/java/ImageProcessing/framework/StatusIndicator.java deleted file mode 100644 index 0f13a71c016..00000000000 --- a/java/ImageProcessing/framework/StatusIndicator.java +++ /dev/null @@ -1,70 +0,0 @@ -package imaging.framework; - -import java.io.*; -import java.awt.*; - -public class StatusIndicator extends Frame -{ - public StatusIndicator (String title, Image image) - { - super (title); - this.image_ = image; - // statusCanvas_ = new CounterCanvas (image); - this.setLayout (new BorderLayout ()); - this.text_ = new TextField (); - this.label_ = new TextField ("Generating"); - - this.add ("North", this.label_); - this.add ("Center", text_); - // this.add ("Center", statusCanvas_); - // this.add ("Center", new Button ("Hello")); - // this.add ("South", new Button ("Hello")); - this.resize (300,200); - this.show (); - } - - public void update (int count) - { - // this.label_.setText ("Generating..."); - this.text_.setText ((new Integer (count++)).toString ()); - // statusCanvas_.update (); - // textCanvas_.setCount (count); - } - - TextField text_; - TextField label_; - Image image_; - // CounterCanvas statusCanvas_ = null; -} - -class CounterCanvas extends Canvas -{ - public CounterCanvas (Image image) - { - this.image_ = image; - } - - public void paint (Graphics g) - { - g.clearRect (0, 0, this.size ().width, this.size ().height); - this.setBackground (Color.white); - - if (this.image_ != null) - g.drawImage(this.image_, - 40, 40, - this.image_.getWidth (this), - this.image_.getHeight (this), - this); - - g.setFont (new Font ("TimesRoman", Font.PLAIN, 18)); - g.drawString ("Generating GIF format: ", 120, 120); - } - - public void update () - { - repaint (); - } - - Image image_ = null; -} - |