diff options
| author | yunahi <60233430+yunahi@users.noreply.github.com> | 2020-07-10 05:22:06 +0900 |
|---|---|---|
| committer | yunahi <60233430+yunahi@users.noreply.github.com> | 2020-07-10 05:22:06 +0900 |
| commit | c8454d675a3081a83c56cf598b1b3637479b0459 (patch) | |
| tree | acf8418098c774d3b015fcd7930b7b08b6d89210 /src/client/util/SelectionManager.ts | |
| parent | 065a29e87c771b5cd9301b0468fb036e070cad17 (diff) | |
added format shape
Diffstat (limited to 'src/client/util/SelectionManager.ts')
| -rw-r--r-- | src/client/util/SelectionManager.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index aea2c542b..af2f320d3 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -15,8 +15,7 @@ export namespace SelectionManager { SelectedDocuments: ObservableMap<DocumentView, boolean> = new ObservableMap(); @action SelectDoc(docView: DocumentView, ctrlPressed: boolean): void { - console.log("select" - ); + // if doc is not in SelectedDocuments, add it if (!manager.SelectedDocuments.get(docView)) { if (!ctrlPressed) { |