From 93655e42e2b55319c5e6e62b4c6ac5c1b54dc387 Mon Sep 17 00:00:00 2001
From: "Evan W. Patton" <ewpatton@mit.edu>
Date: Mon, 20 Feb 2017 18:20:58 -0500
Subject: [PATCH] Adjust WidgetDiv height to fit on screen

---
 core/widgetdiv.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/widgetdiv.js b/core/widgetdiv.js
index a811339b3..84a814b66 100644
--- a/core/widgetdiv.js
+++ b/core/widgetdiv.js
@@ -148,5 +148,5 @@ Blockly.WidgetDiv.position = function(anchorX, anchorY, windowSize,
   }
   Blockly.WidgetDiv.DIV.style.left = anchorX + 'px';
   Blockly.WidgetDiv.DIV.style.top = anchorY + 'px';
-  Blockly.WidgetDiv.DIV.style.height = windowSize.height + 'px';
+  Blockly.WidgetDiv.DIV.style.height = (windowSize.height - anchorY) + 'px';
 };