diff -r 83c97febc828 -r 5fcf6b6436af lib/browser/GraphBrowser/GraphBrowserFrame.java --- a/lib/browser/GraphBrowser/GraphBrowserFrame.java Mon Oct 22 14:52:43 2001 +0200 +++ b/lib/browser/GraphBrowser/GraphBrowserFrame.java Mon Oct 22 14:53:52 2001 +0200 @@ -2,7 +2,7 @@ Title: GraphBrowser/GraphBrowserFrame.java ID: $Id$ Author: Stefan Berghofer, TU Muenchen - Copyright 1997 TU Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) This class is the frame for the stand-alone application. It contains methods for handling menubar events. @@ -51,7 +51,7 @@ GraphBrowser gb2 = new GraphBrowser(fname); try { InputStream is = new FileInputStream(fname); - gb2.initBrowser(is); + gb2.initBrowser(is, false); is.close(); } catch (IOException exn) { String button[] = {"OK"};