From 9d0ce00fb2421d32643455c60df6822cd11b27b4 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Mon, 15 Jul 2013 16:08:03 -0700
Subject: Force the initial resize event in the injected ui

---
 src/js/fiveui/injected/ui.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/js/fiveui/injected/ui.js b/src/js/fiveui/injected/ui.js
index 60c3019..8bedc46 100644
--- a/src/js/fiveui/injected/ui.js
+++ b/src/js/fiveui/injected/ui.js
@@ -94,6 +94,9 @@
 
        this._setupButtons();
        this._setupDragDrop();
+
+       // force the resize event
+       this.height = 0;
        this._pollResize();
 
        this._registerBackendListeners();
-- 
cgit v1.2.3