* DEALINGS IN THE SOFTWARE.
*
* @author David ROULET [niki@nikiroo.be]
- * @version 1
+ * @version 2
*/
package be.nikiroo.jexer;
}
private void fixScrollers() {
- vScroller.setX(Math.max(0, getWidth() - 3));
- vScroller.setHeight(Math.max(1, getHeight() - 2));
- hScroller.setY(Math.max(0, getHeight() - 3));
- hScroller.setWidth(Math.max(1, getWidth() - 3));
+ int width = getWidth() - 1; // vertical prio
+ int height = getHeight();
- // virtual_size
- // - the other scroll bar size
+ // TODO: why did we do that before?
+ if (false) {
+ width -= 2;
+ height = -1;
+ }
+
+ int x = Math.max(0, width);
+ int y = Math.max(0, height - 1);
+
+ vScroller.setX(x);
+ vScroller.setHeight(height);
+ hScroller.setY(y);
+ hScroller.setWidth(width);
+
+ // TODO why did we use to add 2?
// + 2 (for the border of the window)
+
+ // virtual_size
+ // + the other scroll bar size
vScroller.setTopValue(0);
vScroller.setBottomValue(Math.max(0, getVirtualHeight() - getHeight()
- + hScroller.getHeight() + 2));
+ + hScroller.getHeight()));
hScroller.setLeftValue(0);
hScroller.setRightValue(Math.max(0, getVirtualWidth() - getWidth()
- + vScroller.getWidth() + 2));
+ + vScroller.getWidth()));
}
}