Merge commit '77d3a60869e7a780c6ae069e51530e1eacece5e2'

[nikiroo-utils.git] / src / jexer / layout / StretchLayoutManager.java

diff --git a/src/jexer/layout/StretchLayoutManager.java b/src/jexer/layout/StretchLayoutManager.java
index 3dea86ab990872544cf55d247d3ed6784707b302..4bcb0cffc4c29e3a6cb088efa7a8afa8f5c4bebd 100644 (file)
--- a/src/jexer/layout/StretchLayoutManager.java
+++ b/src/jexer/layout/StretchLayoutManager.java
@@ -144,13 +144,13 @@ public class StretchLayoutManager implements LayoutManager {
      * Resize/reposition child widgets based on difference between current
      * dimensions and the original dimensions.
      */
-    public void layoutChildren() {
+    private void layoutChildren() {
         double widthRatio = (double) width / originalWidth;
-        if (!Double.isFinite(widthRatio)) {
+        if (Math.abs(widthRatio) > Double.MAX_VALUE) {
             widthRatio = 1;
         }
         double heightRatio = (double) height / originalHeight;
-        if (!Double.isFinite(heightRatio)) {
+        if (Math.abs(heightRatio) > Double.MAX_VALUE) {
             heightRatio = 1;
         }
         for (TWidget child: children.keySet()) {