diff options
| author | bob <bcz@cs.brown.edu> | 2019-12-12 15:02:22 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-12-12 15:02:22 -0500 |
| commit | 860c7907268874f1754dd86bc3a984066552db12 (patch) | |
| tree | ec439e5e18b40ce282c5c622c789931c63a9160d /src/client/views/DocumentDecorations.tsx | |
| parent | c11e175790a6eb1b1e51157cd14f92480434fff1 (diff) | |
major changes to drag and drop
Diffstat (limited to 'src/client/views/DocumentDecorations.tsx')
| -rw-r--r-- | src/client/views/DocumentDecorations.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/DocumentDecorations.tsx b/src/client/views/DocumentDecorations.tsx index f366a3677..fdaca87a9 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -199,7 +199,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> document.removeEventListener("pointermove", this.onTitleMove); document.removeEventListener("pointerup", this.onTitleUp); DragManager.StartDocumentDrag(SelectionManager.SelectedDocuments().map(documentView => documentView.ContentDiv!), dragData, e.x, e.y, { - handlers: { dragComplete: action(() => this._hidden = this.Interacting = false) }, + dragComplete: action(e => this._hidden = this.Interacting = false), hideSource: true }); e.stopPropagation(); |
