From e8f1de3bdf07b6538a2d73369228c42515e95dbe Mon Sep 17 00:00:00 2001
From: Neil Fraser <fraser@google.com>
Date: Thu, 20 Aug 2015 14:09:14 -0700
Subject: [PATCH] Fix bottom-right workspace metrics when not at 100% zoom.

---
 core/blockly.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/blockly.js b/core/blockly.js
index 883bba13f..820978583 100644
--- a/core/blockly.js
+++ b/core/blockly.js
@@ -490,8 +490,8 @@ Blockly.getMainWorkspaceMetrics_ = function() {
     return null;
   }
   // Fix scale.
-  var contentWidth = blockBox.width;
-  var contentHeight = blockBox.height;
+  var contentWidth = blockBox.width * this.scale;
+  var contentHeight = blockBox.height * this.scale;
   var contentX = blockBox.x * this.scale;
   var contentY = blockBox.y * this.scale;
   if (this.scrollbar) {