git://git.nikiroo.be
/
fanfix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
cc99cba
)
fix javadoc
author
Kevin Lamonte
<kevin.lamonte@gmail.com>
Sun, 15 Mar 2015 15:06:44 +0000
(11:06 -0400)
committer
Kevin Lamonte
<kevin.lamonte@gmail.com>
Sun, 15 Mar 2015 15:06:44 +0000
(11:06 -0400)
src/jexer/TVScroller.java
patch
|
blob
|
blame
|
history
diff --git
a/src/jexer/TVScroller.java
b/src/jexer/TVScroller.java
index 459ef4fbe25986af4984cca3284eef368ad47ea9..d9d5ec852bb1495c7ce4fed35a9498f7d4ab1775 100644
(file)
--- a/
src/jexer/TVScroller.java
+++ b/
src/jexer/TVScroller.java
@@
-152,7
+152,7
@@
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) {
*/
public TVScroller(final TWidget parent, final int x, final int y,
final int height) {
@@
-169,7
+169,7
@@
public final class TVScroller extends TWidget {
/**
* 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;