git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
many fixes
[fanfix.git]
/
src
/
jexer
/
TVScroller.java
diff --git
a/src/jexer/TVScroller.java
b/src/jexer/TVScroller.java
index 459ef4fbe25986af4984cca3284eef368ad47ea9..51fcd8519f6bd47eba9064b5b2f4582316f2776b 100644
(file)
--- 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 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
*/
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).
*
}
/**
* 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;
*/
private int boxPosition() {
return (getHeight() - 3) * (value - topValue) / (bottomValue - topValue) + 1;