From 43c4ff69d515b874f71f9c638a267cd896036854 Mon Sep 17 00:00:00 2001
From: Fawn <fangrui_tong@brown.edu>
Date: Wed, 15 Jan 2020 17:20:09 -0500
Subject: strokes from mobile interface get properly inserted into desktop with
 offset of the mobile ink overlay

---
 src/mobile/MobileInterface.tsx | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'src/mobile')

diff --git a/src/mobile/MobileInterface.tsx b/src/mobile/MobileInterface.tsx
index 1429226b4..4840ea374 100644
--- a/src/mobile/MobileInterface.tsx
+++ b/src/mobile/MobileInterface.tsx
@@ -68,7 +68,11 @@ export default class MobileInterface extends React.Component {
                     InkingControl.Instance.switchTool(InkTool.Pen);
                     this.drawingInk = true;
 
-                    DocServer.Mobile.dispatchBoxTrigger(true);
+                    DocServer.Mobile.dispatchBoxTrigger({
+                        enableBox: true,
+                        width: window.innerWidth,
+                        height: window.innerHeight
+                    });
 
                     break;
                 }
@@ -112,7 +116,11 @@ export default class MobileInterface extends React.Component {
         this.switchCurrentView("main");
         InkingControl.Instance.switchTool(InkTool.None); // TODO: switch to previous tool
 
-        DocServer.Mobile.dispatchBoxTrigger(false);
+        DocServer.Mobile.dispatchBoxTrigger({
+            enableBox: false,
+            width: window.innerWidth,
+            height: window.innerHeight
+        });
 
         this.inkDoc = undefined;
         this.drawingInk = false;
-- 
cgit v1.2.3-70-g09d2