1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
import { observable, action, runInAction, IReactionDisposer, reaction, autorun } from "mobx";
import { Doc, Opt } from "../../new_fields/Doc";
import { DocumentView } from "../views/nodes/DocumentView";
import { FormattedTextBox } from "../views/nodes/FormattedTextBox";
import { NumCast, StrCast } from "../../new_fields/Types";
import { InkingControl } from "../views/InkingControl";
import { InkDocAndStroke } from "../views/InkingStroke";
export namespace SelectionManager {
class Manager {
@observable IsDragging: boolean = false;
@observable SelectedDocuments: Array<DocumentView> = [];
@observable SelectedInk: Array<{ Document: Doc, Ink: Map<any, any> }> = [];
@action
SelectDoc(docView: DocumentView, ctrlPressed: boolean): void {
// if doc is not in SelectedDocuments, add it
if (manager.SelectedDocuments.indexOf(docView) === -1) {
if (!ctrlPressed) {
this.DeselectAll();
}
manager.SelectedDocuments.push(docView);
// console.log(manager.SelectedDocuments);
docView.props.whenActiveChanged(true);
} else if (!ctrlPressed && manager.SelectedDocuments.length > 1) {
manager.SelectedDocuments.map(dv => dv !== docView && dv.props.whenActiveChanged(false));
manager.SelectedDocuments = [docView];
}
}
@action
DeselectDoc(docView: DocumentView): void {
let ind = manager.SelectedDocuments.indexOf(docView);
if (ind !== -1) {
manager.SelectedDocuments.splice(ind, 1);
docView.props.whenActiveChanged(false);
}
}
@action
DeselectAll(): void {
manager.SelectedDocuments.map(dv => dv.props.whenActiveChanged(false));
manager.SelectedDocuments = [];
manager.SelectedInk = [];
}
@action
SelectInk(ink: { Document: Doc, Ink: Map<any, any> }, ctrlPressed: boolean): void {
if (manager.SelectedInk.indexOf(ink) === -1) {
if (!ctrlPressed) {
this.DeselectAll();
}
manager.SelectedInk.push(ink);
} else if (!ctrlPressed && manager.SelectedDocuments.length > 1) {
manager.SelectedInk = [ink];
}
}
}
const manager = new Manager();
export function DeselectDoc(docView: DocumentView): void {
manager.DeselectDoc(docView);
}
export function SelectDoc(docView: DocumentView, ctrlPressed: boolean): void {
manager.SelectDoc(docView, ctrlPressed);
}
export function SelectInk(ink: { Document: Doc, Ink: Map<any, any> }, ctrlPressed: boolean): void {
manager.SelectInk(ink, ctrlPressed);
}
export function IsSelected(doc: DocumentView): boolean {
return manager.SelectedDocuments.indexOf(doc) !== -1;
}
export function DeselectAll(except?: Doc): void {
let found: DocumentView | undefined = undefined;
if (except) {
for (const view of manager.SelectedDocuments) {
if (view.props.Document === except) found = view;
}
}
manager.DeselectAll();
if (found) manager.SelectDoc(found, false);
}
export function SetIsDragging(dragging: boolean) { runInAction(() => manager.IsDragging = dragging); }
export function GetIsDragging() { return manager.IsDragging; }
export function SelectedDocuments(): Array<DocumentView> {
return manager.SelectedDocuments.slice();
}
export function SelectedInk(): Array<{ Document: Doc, Ink: Map<any, any> }> {
return manager.SelectedInk.slice();
}
export function AllSelected(): Array<DocumentView | InkDocAndStroke> {
let arr: Array<DocumentView | InkDocAndStroke> = [];
arr = SelectionManager.SelectedDocuments();
arr.push(...SelectionManager.SelectedInk());
return arr;
}
}
|
