From: Niki Roo Date: Wed, 13 Mar 2019 17:01:52 +0000 (+0100) Subject: fix tbrowsablewidget size X-Git-Tag: fanfix-2.0.0~58 X-Git-Url: http://git.nikiroo.be/?p=fanfix.git;a=commitdiff_plain;h=0e38ba53d1253d53ddd6ea77444a74b85e814874 fix tbrowsablewidget size --- diff --git a/src/be/nikiroo/jexer/TBrowsableWidget.java b/src/be/nikiroo/jexer/TBrowsableWidget.java index 81ca630..44fa710 100644 --- a/src/be/nikiroo/jexer/TBrowsableWidget.java +++ b/src/be/nikiroo/jexer/TBrowsableWidget.java @@ -24,7 +24,7 @@ * DEALINGS IN THE SOFTWARE. * * @author David ROULET [niki@nikiroo.be] - * @version 1 + * @version 2 */ package be.nikiroo.jexer; @@ -403,14 +403,16 @@ abstract public class TBrowsableWidget extends TScrollableWidget { 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 - // - 2 (for the border of the window) + // + 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())); } }