diff options
author | vellichora <fangrui_tong@brown.edu> | 2020-02-01 14:56:19 -0500 |
---|---|---|
committer | vellichora <fangrui_tong@brown.edu> | 2020-02-01 14:56:19 -0500 |
commit | ecf0f5b8f426db9e66c05e759f61294811b15fca (patch) | |
tree | cd2fb9470dd608a8546af868e913d6e1d6964cc3 /src/server/Message.ts | |
parent | d2530f906d68e47cc25359cd8d85684a0e29637a (diff) |
mobile ink overlay is draggable from desktop
Diffstat (limited to 'src/server/Message.ts')
-rw-r--r-- | src/server/Message.ts | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/server/Message.ts b/src/server/Message.ts index 1958286df..064a19653 100644 --- a/src/server/Message.ts +++ b/src/server/Message.ts @@ -50,12 +50,18 @@ export interface GestureContent { readonly color?: string; } -export interface MobileInkBoxContent { - readonly enableBox: boolean; +export interface MobileInkOverlayContent { + readonly enableOverlay: boolean; readonly width?: number; readonly height?: number; } +export interface UpdateMobileInkOverlayPosition { + readonly dx?: number; + readonly dy?: number; + readonly dsize?: number; +} + export namespace MessageStore { export const Foo = new Message<string>("Foo"); export const Bar = new Message<string>("Bar"); @@ -65,8 +71,10 @@ export namespace MessageStore { export const GetDocument = new Message<string>("Get Document"); export const DeleteAll = new Message<any>("Delete All"); export const ConnectionTerminated = new Message<string>("Connection Terminated"); + export const GesturePoints = new Message<GestureContent>("Gesture Points"); - export const MobileInkBoxTrigger = new Message<MobileInkBoxContent>("Trigger Mobile Ink Box"); + export const MobileInkOverlayTrigger = new Message<MobileInkOverlayContent>("Trigger Mobile Ink Overlay"); + export const UpdateMobileInkOverlayPosition = new Message<UpdateMobileInkOverlayPosition>("Update Mobile Ink Overlay Position"); export const GetRefField = new Message<string>("Get Ref Field"); export const GetRefFields = new Message<string[]>("Get Ref Fields"); |