File tree
10 files changed
+227
-40
lines changed- media/js/src
- editors
- form-components
- graphs
10 files changed
+227
-40
lines changedDiff for: media/js/src/GraphEditor.jsx
+9
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
| |||
245 | 246 |
| |
246 | 247 |
| |
247 | 248 |
| |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
248 | 256 |
| |
249 | 257 |
| |
250 | 258 |
| |
| |||
380 | 388 |
| |
381 | 389 |
| |
382 | 390 |
| |
| 391 | + | |
383 | 392 |
| |
384 | 393 |
| |
385 | 394 |
| |
|
Diff for: media/js/src/GraphMapping.js
+17-4
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
104 | 104 |
| |
105 | 105 |
| |
106 | 106 |
| |
107 |
| - | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
108 | 110 |
| |
109 | 111 |
| |
110 | 112 |
| |
| |||
215 | 217 |
| |
216 | 218 |
| |
217 | 219 |
| |
218 |
| - | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
219 | 223 |
| |
220 | 224 |
| |
221 | 225 |
| |
| |||
315 | 319 |
| |
316 | 320 |
| |
317 | 321 |
| |
318 |
| - | |
| 322 | + | |
| 323 | + | |
| 324 | + | |
| 325 | + | |
319 | 326 |
| |
320 | 327 |
| |
321 | 328 |
| |
| |||
572 | 579 |
| |
573 | 580 |
| |
574 | 581 |
| |
| 582 | + | |
| 583 | + | |
575 | 584 |
| |
576 | 585 |
| |
577 | 586 |
| |
| |||
581 | 590 |
| |
582 | 591 |
| |
583 | 592 |
| |
584 |
| - | |
| 593 | + | |
| 594 | + | |
| 595 | + | |
| 596 | + | |
| 597 | + |
Diff for: media/js/src/GraphViewer.jsx
+9
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| 12 | + | |
12 | 13 |
| |
13 | 14 |
| |
14 | 15 |
| |
| |||
187 | 188 |
| |
188 | 189 |
| |
189 | 190 |
| |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
190 | 198 |
| |
191 | 199 |
| |
192 | 200 |
| |
| |||
447 | 455 |
| |
448 | 456 |
| |
449 | 457 |
| |
| 458 | + | |
450 | 459 |
| |
451 | 460 |
| |
452 | 461 |
| |
|
Diff for: media/js/src/JXGBoard.jsx
+5-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
262 | 262 |
| |
263 | 263 |
| |
264 | 264 |
| |
265 |
| - | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
266 | 268 |
| |
267 | 269 |
| |
268 | 270 |
| |
| |||
704 | 706 |
| |
705 | 707 |
| |
706 | 708 |
| |
| 709 | + | |
| 710 | + | |
707 | 711 |
| |
708 | 712 |
| |
709 | 713 |
|
Diff for: media/js/src/Viewer.jsx
+5
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
130 | 130 |
| |
131 | 131 |
| |
132 | 132 |
| |
| 133 | + | |
| 134 | + | |
133 | 135 |
| |
134 | 136 |
| |
135 | 137 |
| |
| |||
268 | 270 |
| |
269 | 271 |
| |
270 | 272 |
| |
| 273 | + | |
| 274 | + | |
271 | 275 |
| |
272 | 276 |
| |
273 | 277 |
| |
| |||
410 | 414 |
| |
411 | 415 |
| |
412 | 416 |
| |
| 417 | + | |
413 | 418 |
| |
414 | 419 |
| |
415 | 420 |
| |
|
+88
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 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 | + |
+3-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
| 23 | + | |
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
40 |
| - | |
| 40 | + | |
| 41 | + | |
41 | 42 |
|
Diff for: media/js/src/graphs/TemplateGraph.js
+1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
|
0 commit comments