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
Bundles/TransBundles: fix for def values
[fanfix.git]
/
src
/
jexer
/
layout
/
StretchLayoutManager.java
diff --git
a/src/jexer/layout/StretchLayoutManager.java
b/src/jexer/layout/StretchLayoutManager.java
index 0ae7dff396be3ad685619f70d0a20dcea50cde31..ee2bf5aba5e5f70d4da15e6376bcd36164b26f7e 100644
(file)
--- a/
src/jexer/layout/StretchLayoutManager.java
+++ b/
src/jexer/layout/StretchLayoutManager.java
@@
-126,6
+126,16
@@
public class StretchLayoutManager implements LayoutManager {
layoutChildren();
}
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 ---------------------------------------------------
// ------------------------------------------------------------------------
// ------------------------------------------------------------------------
// StretchLayoutManager ---------------------------------------------------
// ------------------------------------------------------------------------
@@
-134,7
+144,7
@@
public class StretchLayoutManager implements LayoutManager {
* Resize/reposition child widgets based on difference between current
* dimensions and the original dimensions.
*/
* Resize/reposition child widgets based on difference between current
* dimensions and the original dimensions.
*/
- p
ublic
void layoutChildren() {
+ p
rivate
void layoutChildren() {
double widthRatio = (double) width / originalWidth;
if (!Double.isFinite(widthRatio)) {
widthRatio = 1;
double widthRatio = (double) width / originalWidth;
if (!Double.isFinite(widthRatio)) {
widthRatio = 1;