git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge commit '8a1cae77d279cc246a68109f6178b2bb05e7471f'
[fanfix.git]
/
src
/
jexer
/
layout
/
LayoutManager.java
diff --git
a/src/jexer/layout/LayoutManager.java
b/src/jexer/layout/LayoutManager.java
index bfa64a098463e6ffcc46ce5f831f1476b278a5a2..5dbd1e8432401df45f1a45ef34e42898c717d58b 100644
(file)
--- 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);
+
}