1 files changed, 41 insertions, 41 deletions

diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts
index 1354e32e1..438659108 100644
--- a/src/client/util/SelectionManager.ts
+++ b/src/client/util/SelectionManager.ts
@@ -1,50 +1,50 @@
 import { observable, action } from "mobx";
 import { DocumentView } from "../views/nodes/DocumentView";
-import { Document } from "../../fields/Document"
+import { Document } from "../../fields/Document";
 
 export namespace SelectionManager {
-    class Manager {
-        @observable
-        SelectedDocuments: Array<DocumentView> = [];
-
-        @action
-        SelectDoc(doc: DocumentView, ctrlPressed: boolean): void {
-            // if doc is not in SelectedDocuments, add it
-            if (!ctrlPressed) {
-                manager.SelectedDocuments = [];
-            }
-
-            if (manager.SelectedDocuments.indexOf(doc) === -1) {
-                manager.SelectedDocuments.push(doc)
-            }
-        }
+  class Manager {
+    @observable
+    SelectedDocuments: Array<DocumentView> = [];
+
+    @action
+    SelectDoc(doc: DocumentView, ctrlPressed: boolean): void {
+      // if doc is not in SelectedDocuments, add it
+      if (!ctrlPressed) {
+        manager.SelectedDocuments = [];
+      }
+
+      if (manager.SelectedDocuments.indexOf(doc) === -1) {
+        manager.SelectedDocuments.push(doc);
+      }
     }
+  }
 
-    const manager = new Manager;
+  const manager = new Manager();
 
-    export function SelectDoc(doc: DocumentView, ctrlPressed: boolean): void {
-        manager.SelectDoc(doc, ctrlPressed)
+  export function SelectDoc(doc: DocumentView, ctrlPressed: boolean): void {
+    if (!doc.isMinimized()) {
+      manager.SelectDoc(doc, ctrlPressed);
     }
-
-    export function IsSelected(doc: DocumentView): boolean {
-        return manager.SelectedDocuments.indexOf(doc) !== -1;
-    }
-
-    export function DeselectAll(except?: Document): void {
-        let found: DocumentView | undefined = undefined;
-        if (except) {
-            for (let i = 0; i < manager.SelectedDocuments.length; i++) {
-                let view = manager.SelectedDocuments[i];
-                if (view.props.Document == except)
-                    found = view;
-            }
-        }
-        manager.SelectedDocuments.length = 0;
-        if (found)
-            manager.SelectedDocuments.push(found);
-    }
-
-    export function SelectedDocuments(): Array<DocumentView> {
-        return manager.SelectedDocuments;
+  }
+
+  export function IsSelected(doc: DocumentView): boolean {
+    return manager.SelectedDocuments.indexOf(doc) !== -1;
+  }
+
+  export function DeselectAll(except?: Document): void {
+    let found: DocumentView | undefined = undefined;
+    if (except) {
+      for (let i = 0; i < manager.SelectedDocuments.length; i++) {
+        let view = manager.SelectedDocuments[i];
+        if (view.props.Document == except) found = view;
+      }
     }
-}
\ No newline at end of file
+    manager.SelectedDocuments.length = 0;
+    if (found) manager.SelectedDocuments.push(found);
+  }
+
+  export function SelectedDocuments(): Array<DocumentView> {
+    return manager.SelectedDocuments;
+  }
+}