diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2019-04-27 14:49:37 -0400 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2019-04-27 14:49:37 -0400 |
commit | 2169c5f77ffc824305fc438d06c00efb54a28886 (patch) | |
tree | 4f13b27c73164334825e697de8ebed9e6e311ad2 | |
parent | c2900c926dda3e0d2736ea947474b57c7dcbdde1 (diff) |
hide doc decorations when dragging.
-rw-r--r-- | src/client/views/DocumentDecorations.tsx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/views/DocumentDecorations.tsx b/src/client/views/DocumentDecorations.tsx index 0ea3bfc90..cacb9aead 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -146,6 +146,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> this.Interacting = this._dragging = true; document.removeEventListener("pointermove", this.onBackgroundMove); document.removeEventListener("pointerup", this.onBackgroundUp); + this.Hidden = true; DragManager.StartDocumentDrag(SelectionManager.SelectedDocuments().map(docView => docView.ContentDiv!), dragData, e.x, e.y, { handlers: { dragComplete: action(() => this.Interacting = this._dragging = false), @@ -156,6 +157,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> } onBackgroundUp = (e: PointerEvent): void => { + this.Hidden = true; document.removeEventListener("pointermove", this.onBackgroundMove); document.removeEventListener("pointerup", this.onBackgroundUp); e.stopPropagation(); |