X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTVScroller.java;h=fd806e712b9b8e7883cd79cc276bb9f175f53fb1;hb=b5f2a6dbf2f2b925007a85f68665103ec3514f84;hp=459ef4fbe25986af4984cca3284eef368ad47ea9;hpb=cc99cba8bdfb594d4606949f1763898a420e7f34;p=nikiroo-utils.git

diff --git a/src/jexer/TVScroller.java b/src/jexer/TVScroller.java
index 459ef4f..fd806e7 100644
--- a/src/jexer/TVScroller.java
+++ b/src/jexer/TVScroller.java
@@ -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)