diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-25 22:24:27 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-08-25 22:24:27 -0400 |
| commit | 0e4da0ffd9ff7eaf571451d8b267c7e708e152d7 (patch) | |
| tree | ddaec3c78d386ced1bce0c352639c8aa1aec78a9 /src/client/util/SelectionManager.ts | |
| parent | 6242be458d60bfc0e019286ff20ede8492cd140f (diff) | |
changed treeViewHideTopLevel back to treeViewHideTitle. cleaned up some stuff.
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 35b82cc30..6d4f2c190 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -21,7 +21,6 @@ export namespace SelectionManager { } @action SelectDoc(docView: DocumentView, ctrlPressed: boolean): void { - // if doc is not in SelectedDocuments, add it if (!manager.SelectedDocuments.get(docView)) { if (!ctrlPressed) { |