X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTVScroller.java;h=51fcd8519f6bd47eba9064b5b2f4582316f2776b;hb=92554d64c21c6a477fd23a06ca3a64a542b622a3;hp=459ef4fbe25986af4984cca3284eef368ad47ea9;hpb=cc99cba8bdfb594d4606949f1763898a420e7f34;p=fanfix.git diff --git a/src/jexer/TVScroller.java b/src/jexer/TVScroller.java index 459ef4f..51fcd85 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;