diff options
author | bob <bcz@cs.brown.edu> | 2019-06-20 11:26:16 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-06-20 11:26:16 -0400 |
commit | e9d62f4ca0dbeb57e46239047041a8a04da7b504 (patch) | |
tree | 80aabf34b8cb53c8ca9c944702cd6a66396807d9 /src/client/util/SelectionManager.ts | |
parent | a5478b2d4cc3b66c6b58471cbb05c623d0109724 (diff) |
changed color picker. fixed delting selected docs. fixed scaling items in nested panels.
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 09bccb1a0..7dbb81e76 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -66,7 +66,7 @@ export namespace SelectionManager { export function GetIsDragging() { return manager.IsDragging; } export function SelectedDocuments(): Array<DocumentView> { - return manager.SelectedDocuments; + return manager.SelectedDocuments.slice(); } export function ViewsSortedHorizontally(): DocumentView[] { let sorted = SelectionManager.SelectedDocuments().slice().sort((doc1, doc2) => { |