X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTVScroller.java;h=681a12347e2134513640994c30ec9a2bb1647b13;hb=4b257bd88a40bb1b7ad6b14c3ecaf6a3d5d10a9b;hp=459ef4fbe25986af4984cca3284eef368ad47ea9;hpb=cc99cba8bdfb594d4606949f1763898a420e7f34;p=fanfix.git

diff --git a/src/jexer/TVScroller.java b/src/jexer/TVScroller.java
index 459ef4f..681a123 100644
--- a/src/jexer/TVScroller.java
+++ b/src/jexer/TVScroller.java
@@ -1,4 +1,4 @@
-/**
+/*
  * Jexer - Java Text User Interface
  *
  * License: LGPLv3 or later
@@ -152,24 +152,19 @@ public final class TVScroller extends TWidget {
      * @param parent parent widget
      * @param x column relative to parent
      * @param y row relative to parent
-     * @param width height of scroll bar
+     * @param height height of scroll bar
      */
     public TVScroller(final TWidget parent, final int x, final int y,
         final int height) {
 
         // Set parent and window
-        super(parent);
-
-        setX(x);
-        setY(y);
-        setHeight(height);
-        setWidth(1);
+        super(parent, x, y, 1, height);
     }
 
     /**
      * Compute the position of the scroll box (a.k.a. grip, thumb).
      *
-     * @param Y position of the box, between 1 and height - 2
+     * @return Y position of the box, between 1 and height - 2
      */
     private int boxPosition() {
         return (getHeight() - 3) * (value - topValue) / (bottomValue - topValue) + 1;
@@ -333,7 +328,7 @@ public final class TVScroller extends TWidget {
             return;
         }
 
-        if ((mouse.getMouse1()) &&
+        if ((mouse.isMouse1()) &&
             (inScroll) &&
             (mouse.getY() > 0) &&
             (mouse.getY() < getHeight() - 1)