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
color chooser widget
[fanfix.git]
/
src
/
jexer
/
TVScroller.java
diff --git
a/src/jexer/TVScroller.java
b/src/jexer/TVScroller.java
index d9d5ec852bb1495c7ce4fed35a9498f7d4ab1775..9b69f691593a4ed0ae9c78d65039eb968c40b0d7 100644
(file)
--- a/
src/jexer/TVScroller.java
+++ b/
src/jexer/TVScroller.java
@@
-1,4
+1,4
@@
-/*
*
+/*
* Jexer - Java Text User Interface
*
* License: LGPLv3 or later
* Jexer - Java Text User Interface
*
* License: LGPLv3 or later
@@
-158,12
+158,7
@@
public final class TVScroller extends TWidget {
final int height) {
// Set parent and window
final int height) {
// Set parent and window
- super(parent);
-
- setX(x);
- setY(y);
- setHeight(height);
- setWidth(1);
+ super(parent, x, y, 1, height);
}
/**
}
/**
@@
-333,13
+328,14
@@
public final class TVScroller extends TWidget {
return;
}
return;
}
- if ((mouse.
getMouse1()) &&
- (inScroll) &&
- (mouse.getY() > 0) &&
- (mouse.getY() < getHeight() - 1)
+ if ((mouse.
isMouse1())
+ && (inScroll)
+ && (mouse.getY() > 0)
+
&&
(mouse.getY() < getHeight() - 1)
) {
// Recompute value based on new box position
) {
// Recompute value based on new box position
- value = (bottomValue - topValue) * (mouse.getY()) / (getHeight() - 3) + topValue;
+ value = (bottomValue - topValue)
+ * (mouse.getY()) / (getHeight() - 3) + topValue;
return;
}
return;
}