X-Git-Url: http://source.jalview.org/gitweb/?p=jalviewjs.git;a=blobdiff_plain;f=src%2Fawt2swing%2FScrollbar.java;fp=src%2Fawt2swing%2FScrollbar.java;h=026b9a5d0feb9014d1dc5cdc8a5e2d4d2a1837b9;hp=2b22517c2ba977cc0b8da96bba60461a8048bd0c;hb=b9b7a352eee79b7764c3b09c9d19663075061d8c;hpb=7301a2415adab88038b291fc54caeeb3a5a47a44

diff --git a/src/awt2swing/Scrollbar.java b/src/awt2swing/Scrollbar.java
index 2b22517..026b9a5 100644
--- a/src/awt2swing/Scrollbar.java
+++ b/src/awt2swing/Scrollbar.java
@@ -1,58 +1,58 @@
-package awt2swing;
-
-import java.awt.Component;
-import java.awt.event.AdjustmentListener;
-import java.awt.event.MouseListener;
-import java.awt.event.MouseMotionListener;
-
-import javax.swing.JScrollBar;
-
-import javax.swing.event.ChangeListener;
-
-public class Scrollbar extends JScrollBar {
-
-	public Scrollbar(int direction) {
-		super(direction);
-	}
-
-	public Scrollbar() {
-		super();
-	}
-
-	public Scrollbar(int orientation, int value, int extent, int min, int max) {
-		super(orientation, value, extent, min, max);
-	}
-	
-	public void addChangeListener(ChangeListener l) {
-		addAdjustmentListener((AdjustmentListener) l);
-	}
-
-	public void removeChangeListener(ChangeListener l) {
-		removeAdjustmentListener((AdjustmentListener) l);
-	}
-	
-	public void setValue(int n) {
-		super.setValue(n);
-	}
-	
-	public int getMinimum() {
-		return super.getMinimum();
-	}
-
-	public int getMaximum() {
-		return super.getMaximum();
-	}
-
-	public int getValue() {
-		return super.getValue();
-	}
-
-//	public void addMouseListener(MouseListener c) {
-//		//super.addMouseListener(c);
-//		
-//	}
-//	public void addMouseMotionListener(MouseMotionListener c) {
-//		//super.addMouseMotionListener(c);
-//	}
-
-}
+package awt2swing;
+
+import java.awt.Component;
+import java.awt.event.AdjustmentListener;
+import java.awt.event.MouseListener;
+import java.awt.event.MouseMotionListener;
+
+import javax.swing.JScrollBar;
+
+import javax.swing.event.ChangeListener;
+
+public class Scrollbar extends JScrollBar {
+
+	public Scrollbar(int direction) {
+		super(direction);
+	}
+
+	public Scrollbar() {
+		super();
+	}
+
+	public Scrollbar(int orientation, int value, int extent, int min, int max) {
+		super(orientation, value, extent, min, max);
+	}
+	
+	public void addChangeListener(ChangeListener l) {
+		addAdjustmentListener((AdjustmentListener) l);
+	}
+
+	public void removeChangeListener(ChangeListener l) {
+		removeAdjustmentListener((AdjustmentListener) l);
+	}
+	
+	public void setValue(int n) {
+		super.setValue(n);
+	}
+	
+	public int getMinimum() {
+		return super.getMinimum();
+	}
+
+	public int getMaximum() {
+		return super.getMaximum();
+	}
+
+	public int getValue() {
+		return super.getValue();
+	}
+
+//	public void addMouseListener(MouseListener c) {
+//		//super.addMouseListener(c);
+//		
+//	}
+//	public void addMouseMotionListener(MouseMotionListener c) {
+//		//super.addMouseMotionListener(c);
+//	}
+
+}