X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTWindow.java;h=e0a20734341f3f19405810df7ad3595ff3058a25;hb=90d87fca1ee987e6650b90beafc7831cbca0a457;hp=222efbcde7484867b2266e399a3bd5f56076b1e8;hpb=5ffeabccc177e9fdadb62002c6d3bf1f6ae650fa;p=fanfix.git diff --git a/src/jexer/TWindow.java b/src/jexer/TWindow.java index 222efbc..e0a2073 100644 --- a/src/jexer/TWindow.java +++ b/src/jexer/TWindow.java @@ -863,8 +863,15 @@ public class TWindow extends TWidget { if ((child instanceof TSplitPane) || (child instanceof TPanel) ) { - child.onResize(new TResizeEvent(TResizeEvent.Type.WIDGET, + if (this instanceof TDesktop) { + child.onResize(new TResizeEvent( + TResizeEvent.Type.WIDGET, + resize.getWidth(), resize.getHeight())); + } else { + child.onResize(new TResizeEvent( + TResizeEvent.Type.WIDGET, resize.getWidth() - 2, resize.getHeight() - 2)); + } } return; } @@ -1424,4 +1431,16 @@ public class TWindow extends TWidget { this.hideMouse = hideMouse; } + /** + * Generate a human-readable string for this window. + * + * @return a human-readable string + */ + @Override + public String toString() { + return String.format("%s(%8x) \'%s\' position (%d, %d) geometry %dx%d" + + " hidden %s modal %s", getClass().getName(), hashCode(), title, + getX(), getY(), getWidth(), getHeight(), hidden, isModal()); + } + }