blob: 08249267139c03e94c4e4fd9a391f5d66e4ec9e3 (
plain)
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
|
import { computed } from "mobx";
import { observer } from "mobx-react";
import * as React from "react";
import { Doc, DocListCast } from "../../fields/Doc";
import { Cast } from "../../fields/Types";
import { DocumentType } from "../documents/DocumentTypes";
import { LinkManager } from "../util/LinkManager";
import { SelectionManager } from "../util/SelectionManager";
import { LinkMenu } from "./linking/LinkMenu";
import './PropertiesDocBacklinksSelector.scss';
type PropertiesDocBacklinksSelectorProps = {
Document: Doc,
Stack?: any,
hideTitle?: boolean,
addDocTab(doc: Doc, location: string): void
};
@observer
export class PropertiesDocBacklinksSelector extends React.Component<PropertiesDocBacklinksSelectorProps> {
@computed get _docs() {
const linkSource = this.props.Document;
const links = DocListCast(linkSource.links);
const collectedLinks = [] as Doc[];
links.map(link => {
const other = LinkManager.getOppositeAnchor(link, linkSource);
const otherdoc = !other ? undefined : other.annotationOn && other.type !== DocumentType.RTF ? Cast(other.annotationOn, Doc, null) : other;
if (otherdoc && !collectedLinks.some(d => Doc.AreProtosEqual(d, otherdoc))) {
collectedLinks.push(otherdoc);
}
});
return collectedLinks;
}
getOnClick = (link: Doc) => {
const linkSource = this.props.Document;
const other = LinkManager.getOppositeAnchor(link, linkSource);
const otherdoc = !other ? undefined : other.annotationOn && other.type !== DocumentType.RTF ? Cast(other.annotationOn, Doc, null) : other;
if (otherdoc) {
this.props.addDocTab(Doc.IsPrototype(otherdoc) ? Doc.MakeDelegate(otherdoc) : otherdoc, "toggle:right");
}
}
render() {
return !SelectionManager.Views().length ? (null) : <div>
{this.props.hideTitle ? (null) : <p key="contexts">Contexts:</p>}
<LinkMenu docView={SelectionManager.Views().lastElement()} itemHandler={this.getOnClick} position={{ x: 0 }} />
</div>;
}
}
|