X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTText.java;h=6fea16f3a43ff066165eda982c100797cd517f0d;hb=ba71ae78a66c9f88237d2681aa5ff991e3bd60ef;hp=4791fdc5e38e242e707a8ed97d64d618895463d1;hpb=e820d5dd4e52a787e7f53f6409bb6ff334c3ef7b;p=fanfix.git diff --git a/src/jexer/TText.java b/src/jexer/TText.java index 4791fdc..6fea16f 100644 --- a/src/jexer/TText.java +++ b/src/jexer/TText.java @@ -164,8 +164,10 @@ public class TText extends TScrollableWidget { lines = new LinkedList(); - vScroller = new TVScroller(this, getWidth() - 1, 0, getHeight() - 1); - hScroller = new THScroller(this, 0, getHeight() - 1, getWidth() - 1); + vScroller = new TVScroller(this, getWidth() - 1, 0, + Math.max(1, getHeight() - 1)); + hScroller = new THScroller(this, 0, getHeight() - 1, + Math.max(1, getWidth() - 1)); reflowData(); } @@ -173,6 +175,39 @@ public class TText 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); + if (hScroller != null) { + hScroller.setWidth(getWidth() - 1); + } + if (vScroller != null) { + 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); + if (hScroller != null) { + hScroller.setY(getHeight() - 1); + } + if (vScroller != null) { + vScroller.setHeight(getHeight() - 1); + } + } + /** * Draw the text box. */