-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathsemantics.json
104 lines (104 loc) · 2.38 KB
/
semantics.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
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
[
{
"label": "Text 1",
"name": "commentPre",
"type": "text",
"optional": true,
"default": "",
"enterMode": "p",
"widget": "html",
"description": "Text before the construction.",
"tags": [
"strong",
"em",
"u",
"a",
"ul",
"ol",
"h2",
"h3",
"hr",
"pre",
"code"
]
},
{
"label": "Construction",
"name": "code",
"type": "text",
"widget": "textarea",
"default": "var board = JXG.JSXGraph.initBoard(BOARDID, {\n boundingbox: [-5,5,5,-5], axis: true});\nvar pol = board.create('polygon', [[-3,-3], [3,-3], [1,4]], {\n fillColor: 'yellow',\n vertices: {color: 'blue'}\n});",
"description": "JavaScript or JessieCode code for the construction"
},
{
"label": "Text 2",
"name": "commentPost",
"type": "text",
"optional": true,
"default": "",
"enterMode": "p",
"widget": "html",
"description": "Text after the construction.",
"tags": [
"strong",
"em",
"u",
"a",
"ul",
"ol",
"h2",
"h3",
"hr",
"pre",
"code"
]
},
{
"name": "advanced",
"label": "Advanced settings",
"type": "group",
"importance": "medium",
"fields": [
{
"label": "Board Id",
"name": "divId",
"type": "text",
"default": "",
"optional": true,
"description": "Id of the JSXGraph container. If empty (which is the default) use the constant BOARDID in the JavaScript code."
},
{
"label": "Width",
"name": "width",
"type": "text",
"default": "100%",
"optional": true,
"description": "Width of JSXGraph container, use any CSS unit."
},
{
"label": "Height",
"name": "height",
"type": "text",
"default": "900px",
"optional": true,
"description": "Height of JSXGraph container, use any CSS unit."
},
{
"label": "Max-width",
"name": "maxWidth",
"type": "text",
"default": "100%",
"optional": true,
"description": "Max-width of JSXGraph construction."
},
{
"label": "Aspect ratio",
"name": "aspectRatio",
"type": "text",
"optional": true,
"default": "1/1",
"description": "Aspect ratio of JSXGraph construction."
}
]
}
]