// Viewer.java  read a .png file and display it
//              java Viewer xxx.png

import java.awt.*;
import java.awt.event.*;

public class Viewer extends Frame
{
  private Image image;
  public Viewer(String filename)
  {
    Toolkit toolkit = Toolkit.getDefaultToolkit();
    image = toolkit.getImage(filename);
    MediaTracker mediaTracker = new MediaTracker(this);
    mediaTracker.addImage(image, 0);
    try
    {
      mediaTracker.waitForID(0);
    }
    catch(InterruptedException ie)
    {
      System.err.println(ie);
      System.exit(1);
    }
    addWindowListener(new WindowAdapter()
                      {public void windowClosing(WindowEvent e)
                                                 {System.exit(0);}
                      });
    setSize(image.getWidth(null)+20, image.getHeight(null)+50);
    setTitle(filename);
    setVisible(true); // show();
  }
  
  public void paint(Graphics g)
  {
    g.drawImage(image, 10, 40, null);
  }
  
  public static void main(String[] args)
  {
    new Viewer(args[0]);
  }
} // end class Viewer