diff src/samer/core_/util/swing/InternalFrame.java @ 0:bf79fb79ee13

Initial Mercurial check in.

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/samer/core_/util/swing/InternalFrame.java	Tue Jan 17 17:50:20 2012 +0000
@@ -0,0 +1,113 @@
+/*
+ *	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  javax.swing.*;
+import  javax.swing.event.*;
+import  java.awt.*;
+import  java.awt.event.*;
+import  java.io.*;
+
+/** 
+	<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 InternalFrame extends JInternalFrame 
+	implements ComponentListener, ActionListener, Shell.Window
+{
+	Node node;
+
+	public InternalFrame( String nm) { 
+		super(nm,true,false,true,true);
+		setClosable(true);
+		setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);
+		desktop.add(this);
+		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();
+	}
+	
+
+	// ........... 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 setTitle(node.fullName());
+
+			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);
+	}
+
+	public void addWindowListener(final WindowListener l) {
+		addInternalFrameListener( new InternalFrameAdapter() {
+			public void internalFrameClosing(InternalFrameEvent e) {
+				l.windowClosing(null);
+			}
+		} );
+	}
+
+	public static void setDesktop(Container c) { desktop=c; }
+	private static Container desktop;
+}
+