From c55ed7d6880ed31f6ca3218fc8aef73df3e5b135 Mon Sep 17 00:00:00 2001
From: Pascal Muetschard <pmuetschard@google.com>
Date: Mon, 14 Aug 2017 16:24:57 -0700
Subject: [PATCH] Fix resizing bug.

Fixes #908
---
 gapic/src/main/com/google/gapid/widgets/TabArea.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gapic/src/main/com/google/gapid/widgets/TabArea.java b/gapic/src/main/com/google/gapid/widgets/TabArea.java
index 98fe58fda4..6a141faaf5 100644
--- 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();
     }
   }