import java.applet.*;
import java.awt.*;
import java.net.*;
import java.util.*;

public class Resize extends Applet {

	static final int PAGES = 3; // HTMLファイルの数
	static final String LABELS[] = {"small", "medium", "large"}; //ボタンラベル
	Hashtable btn2url;	// Button→URL 変換テーブル
	AppletContext browser;	// Netscape?
	URL url[] = new URL[3]; // 各HTMLファイルのURL
	int panelHeight;	// ボタン部分の高さ

	public void init() {

		browser = getAppletContext();

		URL docbase = getDocumentBase();
		try {
			for (int page=0; page<PAGES; page++) {
				url[page] = new URL(docbase, "index"+(page+1)+".html");
			}
		} catch(MalformedURLException ex) {
		}

		setBackground(Color.white);
		setLayout(new BorderLayout());

		Panel p = new Panel();
		Button btn[] = new Button[3];
		btn2url = new Hashtable();
		p.setLayout(new GridLayout(1,3,5,5));
		for (int page=0; page<PAGES; page++) {
			btn[page] = new Button(LABELS[page]);	// ボタン作成
			p.add(btn[page]);						// ボタン貼り付け
			btn2url.put(btn[page], url[page]);		// Hashtable作成
		}
		add("South", p);
		panelHeight = p.preferredSize().height;

		String file = docbase.getFile();
		for (int page=0; page<PAGES; page++) {
			if (file.equals(url[page].getFile())) {
				btn[page].disable();	// 現ページへのボタンを無効化
			}
		}
	}

	public void paint(Graphics g) {
		Color cols[] = {Color.red, Color.green, Color.blue};
		int wid = size().width - 1;
		int hei = size().height - panelHeight - 1;
		for (int i=0;;i++) {	// 外側から順に長方形を描画
			if (wid <= 0 || hei <= 0)
				break;
			g.setColor(cols[i % 3]);
			g.drawRect(i * 3, i * 3, wid, hei);
			wid -= 6;
			hei -= 6;
		}
	}

	public boolean action(Event ev, Object obj) {
		if (ev.target instanceof Button) {
			URL dest = (URL)btn2url.get(ev.target);	// Hashtable参照
			browser.showDocument(dest);	// ジャンプ
			return true;
		}
		return false;
	}
}