changeset 50473 | ca4088bf8365 |
parent 33686 | 8e33ca8832b1 |
--- a/lib/browser/GraphBrowser/GraphBrowserFrame.java Mon Dec 10 21:55:57 2012 +0100 +++ b/lib/browser/GraphBrowser/GraphBrowserFrame.java Tue Dec 11 10:35:42 2012 +0100 @@ -1,6 +1,7 @@ /*************************************************************************** Title: GraphBrowser/GraphBrowserFrame.java Author: Stefan Berghofer, TU Muenchen + Options: :tabSize=2: This class is the frame for the stand-alone application. It contains methods for handling menubar events.