X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Flayout%2FBoxLayoutManager.java;fp=src%2Fjexer%2Flayout%2FBoxLayoutManager.java;h=8e7a01e39231913870469d3c8b26653a6e78690b;hb=8afe8fa7d778da9682b82b6ac56f64d765f6a2d1;hp=c3d12802b1e72d24346cd81f5353aa917ac075f6;hpb=5a6e1cc44d4691518a1a4711e6eabd667c367085;p=fanfix.git

diff --git a/src/jexer/layout/BoxLayoutManager.java b/src/jexer/layout/BoxLayoutManager.java
index c3d1280..8e7a01e 100644
--- a/src/jexer/layout/BoxLayoutManager.java
+++ b/src/jexer/layout/BoxLayoutManager.java
@@ -120,6 +120,15 @@ public class BoxLayoutManager implements LayoutManager {
         layoutChildren();
     }
 
+    /**
+     * Reset a child widget's original/preferred size.
+     *
+     * @param child the widget to manage
+     */
+    public void resetSize(final TWidget child) {
+        // NOP
+    }
+
     // ------------------------------------------------------------------------
     // BoxLayoutManager -------------------------------------------------------
     // ------------------------------------------------------------------------