diff options
| author | yunahi <60233430+yunahi@users.noreply.github.com> | 2020-07-28 01:53:21 +0900 |
|---|---|---|
| committer | yunahi <60233430+yunahi@users.noreply.github.com> | 2020-07-28 01:53:21 +0900 |
| commit | e8caa12dc736ef66741b5652425b0cb8b0a5eb16 (patch) | |
| tree | afd47f6b46d1d9c1d814650b2590b738cd36c495 /src/client/util/SelectionManager.ts | |
| parent | f3a331573be09115f9a92b8e927081f8f743c478 (diff) | |
| parent | f869c7a75eb6a2f6e6301aa76c57e383b41d3fea (diff) | |
merge fix
Diffstat (limited to 'src/client/util/SelectionManager.ts')
| -rw-r--r-- | src/client/util/SelectionManager.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 9a968aeda..20d881961 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -22,7 +22,6 @@ export namespace SelectionManager { } manager.SelectedDocuments.set(docView, true); - // console.log(manager.SelectedDocuments); docView.props.whenActiveChanged(true); } else if (!ctrlPressed && Array.from(manager.SelectedDocuments.entries()).length > 1) { Array.from(manager.SelectedDocuments.keys()).map(dv => dv !== docView && dv.props.whenActiveChanged(false)); |