# HG changeset patch
# User wenzelm
# Date 1355218542 -3600
# Node ID ca4088bf836561b7707feaea6750e88b3587ba4f
# Parent  bad1a1ca61e1e16be3e384ce0b5e0094aab43e18
added speculative options for jEdit;

diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/Console.java
--- a/lib/browser/GraphBrowser/Console.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/Console.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/Console.java
   Author:     Gerwin Klein, TU Muenchen
+  Options:    :tabSize=2:
 
   This is the graph browser's main class when run as a console application.
   It duplicates some logic from GraphBrowser and GraphView.
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/DefaultFontMetrics.java
--- a/lib/browser/GraphBrowser/DefaultFontMetrics.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/DefaultFontMetrics.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/DefaultFontMetrics.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=2:
 
   Default font metrics which is used when no graphics context
   is available (batch mode).
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/DummyVertex.java
--- a/lib/browser/GraphBrowser/DummyVertex.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/DummyVertex.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/DummyVertex.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class represents a dummy vertex, which is used to simplify the
   layout algorithm.
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/Graph.java
--- a/lib/browser/GraphBrowser/Graph.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/Graph.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/Graph.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class contains the core of the layout algorithm and methods for
   drawing and PostScript output.
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/GraphBrowser.java
--- a/lib/browser/GraphBrowser/GraphBrowser.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/GraphBrowser.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/GraphBrowser.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This is the graph browser's main class. It contains the "main(...)"
   method, which is used for the stand-alone version, as well as
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/GraphBrowserFrame.java
--- 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.
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/GraphView.java
--- a/lib/browser/GraphBrowser/GraphView.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/GraphView.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/GraphView.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class defines the window in which the graph is displayed. It
   contains methods for handling events such as collapsing / uncollapsing
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/NormalVertex.java
--- a/lib/browser/GraphBrowser/NormalVertex.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/NormalVertex.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/NormalVertex.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class represents an ordinary vertex. It contains methods for
   drawing and PostScript output.
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/Region.java
--- a/lib/browser/GraphBrowser/Region.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/Region.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/Region.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This is an auxiliary class which is used by the layout algorithm when
   calculating coordinates with the "pendulum method". A "region" is a
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/Spline.java
--- a/lib/browser/GraphBrowser/Spline.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/Spline.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/Spline.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class is used for drawing spline curves (which are not yet
   supported by the Java AWT).
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/TreeBrowser.java
--- a/lib/browser/GraphBrowser/TreeBrowser.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/TreeBrowser.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/TreeBrowser.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class defines the browser window which is used to display directory
   trees. It contains methods for handling events.
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/TreeNode.java
--- a/lib/browser/GraphBrowser/TreeNode.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/TreeNode.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/TreeNode.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class contains methods for storing and manipulating directory
   trees (e.g. collapsing / uncollapsing directory branches).
diff -r bad1a1ca61e1 -r ca4088bf8365 lib/browser/GraphBrowser/Vertex.java
--- a/lib/browser/GraphBrowser/Vertex.java	Mon Dec 10 21:55:57 2012 +0100
+++ b/lib/browser/GraphBrowser/Vertex.java	Tue Dec 11 10:35:42 2012 +0100
@@ -1,6 +1,7 @@
 /***************************************************************************
   Title:      GraphBrowser/Vertex.java
   Author:     Stefan Berghofer, TU Muenchen
+  Options:    :tabSize=4:
 
   This class contains attributes and methods common to all kinds of
   vertices (e.g. coordinates, successors, predecessors).