X-Git-Url: https://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Flayout%2FLayoutManager.java;h=5dbd1e8432401df45f1a45ef34e42898c717d58b;hb=8afe8fa7d778da9682b82b6ac56f64d765f6a2d1;hp=bfa64a098463e6ffcc46ce5f831f1476b278a5a2;hpb=5a6e1cc44d4691518a1a4711e6eabd667c367085;p=fanfix.git

diff --git a/src/jexer/layout/LayoutManager.java b/src/jexer/layout/LayoutManager.java
index bfa64a0..5dbd1e8 100644
--- a/src/jexer/layout/LayoutManager.java
+++ b/src/jexer/layout/LayoutManager.java
@@ -59,4 +59,11 @@ public interface LayoutManager {
      */
     public void remove(final TWidget child);
 
+    /**
+     * Reset a child widget's original/preferred size.
+     *
+     * @param child the widget to manage
+     */
+    public void resetSize(final TWidget child);
+
 }