# HG changeset patch
# User kleing
# Date 1004018979 -7200
# Node ID a5d1c9b34900da1b687c02dd4ef9a71d59dcd0c8
# Parent  1accec985349ee46ce90b053045519cba1f830ba
added windowlistener (can now close the frame by window controls)

diff -r 1accec985349 -r a5d1c9b34900 lib/browser/GraphBrowser/GraphBrowserFrame.java
--- a/lib/browser/GraphBrowser/GraphBrowserFrame.java	Thu Oct 25 02:13:02 2001 +0200
+++ b/lib/browser/GraphBrowser/GraphBrowserFrame.java	Thu Oct 25 16:09:39 2001 +0200
@@ -117,5 +117,10 @@
 		mb.add(m1);
 		setMenuBar(mb);
 		add("Center", br);
+    addWindowListener( new WindowAdapter() {
+      public void windowClosing(WindowEvent e) {
+        System.exit(0);
+      }
+    });
 	}
 }