Fix resizing bug.

Fixes #908
google · Aug 15, 2017 · 10ba360 · 10ba360
1 parent a58565d
commit 10ba360
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/gapic/src/main/com/google/gapid/widgets/TabArea.java b/gapic/src/main/com/google/gapid/widgets/TabArea.java
@@ -223,6 +223,8 @@ private void rememberWeights() {
       int[] curWeights = sash.getWeights();
       weights[1] = (weights[1] + weights[2]) * curWeights[1] / (curWeights[1] + curWeights[2]);
       weights[2] = (weights[1] + weights[2]) * curWeights[2] / (curWeights[1] + curWeights[2]);
+    } else {
+      weights = sash.getWeights();
     }
   }