aboutsummaryrefslogtreecommitdiff
path: root/src/client/DocServer.ts
diff options
context:
space:
mode:
authorFawn <fangrui_tong@brown.edu>2020-01-15 17:20:09 -0500
committerFawn <fangrui_tong@brown.edu>2020-01-15 17:20:09 -0500
commit43c4ff69d515b874f71f9c638a267cd896036854 (patch)
treeb4870bc838900def57471b883741146912a822c7 /src/client/DocServer.ts
parent65e164eaec42d1850de7f5e1eba1d4302c3e8230 (diff)
strokes from mobile interface get properly inserted into desktop with offset of the mobile ink overlay
Diffstat (limited to 'src/client/DocServer.ts')
-rw-r--r--src/client/DocServer.ts12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/client/DocServer.ts b/src/client/DocServer.ts
index cfd9612ed..132128182 100644
--- a/src/client/DocServer.ts
+++ b/src/client/DocServer.ts
@@ -1,5 +1,5 @@
import * as OpenSocket from 'socket.io-client';
-import { MessageStore, YoutubeQueryTypes, GestureContent } from "./../server/Message";
+import { MessageStore, YoutubeQueryTypes, GestureContent, MobileInkBoxContent } from "./../server/Message";
import { Opt, Doc } from '../new_fields/Doc';
import { Utils, emptyFunction } from '../Utils';
import { SerializationHelper } from './util/SerializationHelper';
@@ -71,9 +71,9 @@ export namespace DocServer {
Utils.Emit(_socket, MessageStore.GesturePoints, content);
}
- export function dispatchBoxTrigger(enableBox: boolean) {
+ export function dispatchBoxTrigger(content: MobileInkBoxContent) {
// _socket.emit("dispatchBoxTrigger");
- Utils.Emit(_socket, MessageStore.MobileInkBoxTrigger, enableBox);
+ Utils.Emit(_socket, MessageStore.MobileInkBoxTrigger, content);
}
}
@@ -100,10 +100,10 @@ export namespace DocServer {
alert("Your connection to the server has been terminated.");
});
_socket.addEventListener("receiveGesturePoints", (content: GestureContent) => {
- GestureOverlay.Instance.manualDispatch(content);
+ GestureOverlay.Instance.drawStrokeToMobileInkBox(content);
});
- _socket.addEventListener("receiveBoxTrigger", (enableBox: boolean) => {
- GestureOverlay.Instance.showBox(enableBox);
+ _socket.addEventListener("receiveBoxTrigger", (content: MobileInkBoxContent) => {
+ GestureOverlay.Instance.enableMobileInkBox(content);
});
}