From f47f77b1817b76fb1b67910c3f2049010b81beb4 Mon Sep 17 00:00:00 2001
From: David Rowe <david@ctrlaltstudio.com>
Date: Wed, 7 Nov 2018 09:11:43 +1300
Subject: [PATCH] Fix mini tablet JavaScript crash

---
 scripts/system/miniTablet.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/system/miniTablet.js b/scripts/system/miniTablet.js
index a2f0d074f0..718605543c 100644
--- a/scripts/system/miniTablet.js
+++ b/scripts/system/miniTablet.js
@@ -1006,7 +1006,8 @@
                 return;
         }
 
-        if (message.grabbedEntity !== HMD.tabletID && message.grabbedEntity !== ui.getMiniTabletID()) {
+        if (miniState.getState() === miniState.MINI_DISABLED
+                || message.grabbedEntity !== HMD.tabletID && message.grabbedEntity !== ui.getMiniTabletID()) {
             return;
         }