-
Notifications
You must be signed in to change notification settings - Fork 4
/
webgme-setup.json
41 lines (41 loc) · 1007 Bytes
/
webgme-setup.json
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
{
"components": {
"seeds": {
"src": "src/seeds"
},
"visualizers": {
"MoveCodeEditor": {
"src": "panels/MoveCodeEditor/MoveCodeEditorPanel",
"title": "MoveCodeEditor",
"panel": "src/visualizers/panels/MoveCodeEditor",
"secondary": false,
"widget": "src/visualizers/widgets/MoveCodeEditor"
}
},
"decorators": {
"ContractStateDecorator": {
"src": "src/decorators/ContractStateDecorator"
}
},
"plugins": {
"VerifyContract": {
"src": "src/plugins/VerifyContract",
"test": "test/plugins/VerifyContract"
},
"MoveCodeGenerator": {
"src": "src/plugins/MoveCodeGenerator",
"test": "test/plugins/MoveCodeGenerator"
},
"FSMGenerator": {
"src": "src/plugins/FSMGenerator",
"test": "test/plugins/FSMGenerator"
}
}
},
"dependencies": {
"seeds": {},
"visualizers": {},
"decorators": {},
"plugins": {}
}
}