1 files changed, 90 insertions, 0 deletions
diff --git a/java/ImageProcessing/framework/Separator.java b/java/ImageProcessing/framework/Separator.java
new file mode 100644
index 00000000000..6bd610e1ad9
--- /dev/null
+++ b/java/ImageProcessing/framework/Separator.java
@@ -0,0 +1,90 @@
+package gjt;
+
+import java.awt.*;
+
+/**
+ * A separator that is drawn either vertically or horizontally 
+ * depending upon how it is laid out.  Can be drawn either 
+ * etched-in or etched-out, with varying thicknesses.  Both 
+ * thickness and etching are settable at construction time 
+ * only.<p>
+ *
+ * Default thickness is 2 pixels and default etching is 
+ * Etching.IN.  Note that thicknesses greater than 4 loose the 
+ * etching effect.<p>
+ *
+ * @version 1.0, Apr 1 1996
+ * @author  David Geary
+ * @see     Etching
+ * @see     gjt.test.SeparatorTest
+ */
+public class Separator extends Canvas {
+    static private Etching _defaultEtching   = Etching.IN;
+    static private int     _defaultThickness = 2;
+
+    private Etching etching;
+    private int     thickness;
+
+    public Separator() {
+        this(_defaultThickness, _defaultEtching);
+    }
+    public Separator(int thickness) {
+        this(thickness, _defaultEtching);
+    }
+    public Separator(Etching etching) {
+        this(_defaultThickness, etching);
+    }
+    public Separator(int thickness, Etching etching) {
+        this.etching   = etching;
+        this.thickness = thickness;
+        resize(thickness, thickness);
+    }
+    public Dimension minimumSize() {
+        return preferredSize();
+    }
+    public Dimension preferredSize() {
+        return new Dimension(thickness, thickness);
+    }
+    public void paint(Graphics g) {
+        Dimension size     = size();
+        Color brighter = getBackground().brighter().brighter();
+        Color darker   = getBackground().darker().darker();
+
+        if(etching == Etching.IN) {
+            if(size.width > size.height)
+                paintHorizontal(g, size, darker, brighter);
+            else
+                paintVertical(g, size, darker, brighter);
+        }
+        else {
+            if(size.width > size.height)
+                paintHorizontal(g, size, brighter, darker);
+            else
+                paintVertical(g, size, brighter, darker);
+        }
+    }
+    public String paramString() {
+        Dimension   size = size();
+        Orientation orient = size.width > size.height ? 
+                             Orientation.HORIZONTAL :
+                             Orientation.VERTICAL;
+        return super.paramString() + "thickness=" + 
+               thickness + "," + etching + "," + orient;
+    }
+    private void paintHorizontal(Graphics g, Dimension size, 
+                                 Color top, Color bottom) {
+        g.setColor(top);
+        g.fillRect(0, (size.height/2) - (thickness/2), 
+                       size.width, thickness/2);
+        g.setColor(bottom);
+        g.fillRect(0, size.height/2, size.width, thickness/2); 
+    }
+    private void paintVertical(Graphics g, Dimension size, 
+                               Color left, Color right) {
+        g.setColor(left);
+        g.fillRect((size.width/2) - (thickness/2), 
+                    0, thickness/2, size.height);
+        g.setColor(right);
+        g.fillRect(size.width/2, 0, thickness/2, size.height);
+    }
+}