view src/samer/core_/util/swing/Frame.java @ 8:5e3cbbf173aa tip

Reorganise some more

/*
 *	Frame.java	
 *
 *	Copyright (c) 2000, Samer Abdallah, King's College London.
 *	All rights reserved.
 *
 *	This software is provided AS iS and WITHOUT ANY WARRANTY; 
 *	without even the implied warranty of MERCHANTABILITY or 
 *	FITNESS FOR A PARTICULAR PURPOSE.
 */

package samer.core.util.swing;
import  samer.core.*;
import  java.awt.*;
import  java.awt.event.*;
import  javax.swing.*;

/** 
	<p>
	This is a useful kind of framed window that uses 
	the property set to get window size and position
	and colours. It can also send window closing events
	to the default command handler (see Agency) as
	"exit" actions.

	<p>
	Addition: frame can dispose of itself when last component
	is removed.
 */

public class Frame extends JFrame 
	implements ComponentListener, ActionListener, Shell.Window
{
	Node node;

	public Frame() { this("frame"); }
	public Frame( String nm) {
		// remove "." from start of name
		if (nm.startsWith(".")) nm=nm.substring(1);
		node=new Node(nm); init();
	}

	public Container container() { return getContentPane(); }
	public void dispose() { super.dispose(); }

	public void	expose() {
		// this makes sure we don't show a zero-sized window
		if (getBounds().isEmpty()) pack();
		setVisible(true);
	}

	public Node getNode() { return node; }

	// ..... Event Listener bits .......

	public void componentHidden(ComponentEvent e) {}
	public void componentShown(ComponentEvent e) {}
	public void componentMoved(ComponentEvent e) { savepos(); }
	public void componentResized(ComponentEvent e) { savepos(); }
	public void actionPerformed(ActionEvent e) {
		if (e.getActionCommand().equals("pack")) pack();
	}

	// override pack to stop window being bigger than screen
	public void pack() {
		super.pack();
		
		Dimension d=getToolkit().getScreenSize();
		Rectangle b=getBounds();
		boolean	f=false;
		if (b.y+b.height>d.height) {
			b.height=d.height-b.y;
			b.width+=16; // this is to make room for vertical scroll bar (hack - sorry)
			f=true;
		}
		if (b.x+b.width>d.width) { b.width=d.width-b.x; f=true; }
		if (f) setBounds(b);
	}	

	// ........... private bits ...............

	private void savepos() { X.store(node.fullNameFor("bounds"),getBounds()); }

	private void init()
	{
		Shell.push(node);
		try {
			String	tit = Shell.getString("title",null);
			Color		bg  = Shell.getColor("background",SystemColor.control);
			Color		fg  = Shell.getColor("foreground",SystemColor.controlText);
			Rectangle pos = X.rect(Shell.datum("bounds"),null);
			// Font		font = X.font(Shell.datum("font"),null);

			if (tit!=null) setTitle(tit);
			else {
				// remove "." from start of name
				String n=node.fullName();
				if (n.startsWith(".")) n=n.substring(1);
				// remove ".window" from end of name
				if (n.endsWith(".window")) n=n.substring(0,n.length()-7);
				setTitle(n);
			}

			if (pos!=null) setBounds(pos);
			// if (font!=null) setFont(font);

			// setBackground(bg);
			// setForeground(fg);
		} finally { Shell.pop(); }

		setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);

		JPopupMenu p=new JPopupMenu( "Frame");
		p.add("pack").addActionListener(this);

		addComponentListener(this);
		MenuBuilder.addPopup(p,getContentPane()).setBackstop(true);
	}

	
}