X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTList.java;h=253e40972a49ab133211bdff156708163b08eec8;hb=8f62f06e3ab03e24e23a1b7f369ae31d701e736b;hp=a962f7cfe9eeee9b3ed579657964765add8bc772;hpb=d8dc8aea32a07a0653933700f1abadc7776b013f;p=fanfix.git diff --git a/src/jexer/TList.java b/src/jexer/TList.java index a962f7c..253e409 100644 --- a/src/jexer/TList.java +++ b/src/jexer/TList.java @@ -327,6 +327,31 @@ public class TList extends TScrollableWidget { // TScrollableWidget ------------------------------------------------------ // ------------------------------------------------------------------------ + /** + * Override TWidget's width: we need to set child widget widths. + * + * @param width new widget width + */ + @Override + public void setWidth(final int width) { + super.setWidth(width); + hScroller.setWidth(getWidth() - 1); + vScroller.setX(getWidth() - 1); + } + + /** + * Override TWidget's height: we need to set child widget heights. + * time. + * + * @param height new widget height + */ + @Override + public void setHeight(final int height) { + super.setHeight(height); + hScroller.setY(getHeight() - 1); + vScroller.setHeight(getHeight() - 1); + } + /** * Resize for a new width/height. */