From b33ba2eb7a4bb6744f07c3ee8d86c55ec7b599b5 Mon Sep 17 00:00:00 2001
From: Andy Rickert <andrew_rickert@brown.edu>
Date: Tue, 31 Mar 2020 16:15:10 -0700
Subject: more settings ui + huge bugfixes with document dragging and selection

---
 src/client/util/DragManager.ts | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/client/util/DragManager.ts')

diff --git a/src/client/util/DragManager.ts b/src/client/util/DragManager.ts
index 5d2f1bc06..deb2da939 100644
--- a/src/client/util/DragManager.ts
+++ b/src/client/util/DragManager.ts
@@ -267,6 +267,7 @@ export namespace DragManager {
     }
 
     function StartDrag(eles: HTMLElement[], dragData: { [id: string]: any }, downX: number, downY: number, options?: DragOptions, finishDrag?: (dropData: DragCompleteEvent) => void) {
+        console.log("drag");
         eles = eles.filter(e => e);
         if (!dragDiv) {
             dragDiv = document.createElement("div");
-- 
cgit v1.2.3-70-g09d2