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
|
import * as React from 'react';
import * as ReactDOM from 'react-dom';
import { observable, action, configure, reaction, computed } from 'mobx';
import { observer } from "mobx-react";
import * as request from 'request'
import './WorkspacesMenu.css'
@observer
export class WorkspacesMenu extends React.Component {
static Instance: WorkspacesMenu;
@observable private workspacesExposed: boolean = false;
@observable private workspaceIds: Array<string> = [];
constructor(props: Readonly<{}>) {
super(props);
WorkspacesMenu.Instance = this;
}
@action
toggle() {
if (this.workspacesExposed) {
this.workspacesExposed = !this.workspacesExposed;
} else {
request.get(window.location.origin + "/getAllWorkspaceIds", this.idCallback)
}
}
@action.bound
idCallback: request.RequestCallback = (error, response, body) => {
this.workspaceIds = [];
let ids: Array<string> = JSON.parse(body) as Array<string>;
if (ids) {
for (let i = 0; i < ids.length; i++) {
this.workspaceIds.push(ids[i]);
}
console.log(this.workspaceIds);
this.workspacesExposed = !this.workspacesExposed;
}
}
setWorkspaceId = (e: React.MouseEvent) => {
console.log(e.currentTarget.innerHTML);
}
render() {
return (
<div
style={{
width: "auto",
height: "auto",
borderRadius: 5,
position: "absolute",
top: 50,
left: this.workspacesExposed ? 8 : -500,
background: "white",
border: "black solid 2px",
transition: "all 1s ease",
zIndex: 15,
padding: 10,
}}
>
{this.workspaceIds.map(s =>
<li className={"ids"}
key={s}
style={{
listStyleType: "none",
paddingTop: 3,
paddingBottom: 3
}}
onClick={this.setWorkspaceId}
>{s}</li>
)}
</div>
);
}
}
|
