X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTVScroller.java;h=9b69f691593a4ed0ae9c78d65039eb968c40b0d7;hb=329fd62e4acdaa8e9f4cccd518d47c0b07e79f51;hp=681a12347e2134513640994c30ec9a2bb1647b13;hpb=4b257bd88a40bb1b7ad6b14c3ecaf6a3d5d10a9b;p=fanfix.git diff --git a/src/jexer/TVScroller.java b/src/jexer/TVScroller.java index 681a123..9b69f69 100644 --- a/src/jexer/TVScroller.java +++ b/src/jexer/TVScroller.java @@ -328,13 +328,14 @@ public final class TVScroller extends TWidget { return; } - if ((mouse.isMouse1()) && - (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 - value = (bottomValue - topValue) * (mouse.getY()) / (getHeight() - 3) + topValue; + value = (bottomValue - topValue) + * (mouse.getY()) / (getHeight() - 3) + topValue; return; }