LayoutManager.resetSize()

[fanfix.git] / src / jexer / layout / StretchLayoutManager.java

diff --git a/src/jexer/layout/StretchLayoutManager.java b/src/jexer/layout/StretchLayoutManager.java
index 0ae7dff396be3ad685619f70d0a20dcea50cde31..3dea86ab990872544cf55d247d3ed6784707b302 100644 (file)
--- a/src/jexer/layout/StretchLayoutManager.java
+++ b/src/jexer/layout/StretchLayoutManager.java
@@ -126,6 +126,16 @@ public class StretchLayoutManager implements LayoutManager {
         layoutChildren();
     }
 
+    /**
+     * Reset a child widget's original/preferred size.
+     *
+     * @param child the widget to manage
+     */
+    public void resetSize(final TWidget child) {
+        // For this layout, adding is the same as replacing.
+        add(child);
+    }
+
     // ------------------------------------------------------------------------
     // StretchLayoutManager ---------------------------------------------------
     // ------------------------------------------------------------------------