X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Flayout%2FBoxLayoutManager.java;h=057127fa2277e389a91c9f9e3ea5813084e918a3;hb=12b90437b5f22c2ae6e9b9b14c3b62b60f6143e5;hp=c3d12802b1e72d24346cd81f5353aa917ac075f6;hpb=fc2af49443133106c95da9aaf8b7126be8c7dedd;p=fanfix.git

diff --git a/src/jexer/layout/BoxLayoutManager.java b/src/jexer/layout/BoxLayoutManager.java
index c3d1280..057127f 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 -------------------------------------------------------
     // ------------------------------------------------------------------------
@@ -128,7 +137,7 @@ public class BoxLayoutManager implements LayoutManager {
      * Resize/reposition child widgets based on horizontal/vertical
      * arrangement.
      */
-    public void layoutChildren() {
+    private void layoutChildren() {
         if (children.size() == 0) {
             return;
         }