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
105
106
107
108
109
110
111
112
113
114
115
|
JXG.Options = JXG.merge(JXG.Options, {
device: 'tablet',
opacityLevel: 0.5,
sensitive_area: 20,
lastRegPolCorners: 4,
lastSliderStart: 0,
lastSliderEnd: 2,
lastSliderIni: 1,
angle: {
fillColor: '#ddd',
strokeColor: '#000',
orthotype: 'sectordot'
},
axis: {
ticks: {
strokeColor: '#666666',
strokeOpacity: 0.4,
label: {
fontSize: 14,
display: 'internal'
}
},
label: {
position: 'urt',
offset: [-15, 30],
display: 'internal'
}
},
glider : {
fillColor: '#ff0',
strokeColor: '#000'
},
intersection: {
fillColor: '#fff'
},
point: {
size: 4,
fillColor: '#c00',
strokeColor: '#000',
// snap on majorTicks
snapX: -1,
snapY: -1
},
polygon: {
fillColor: '#ffff00',
highlightFillColor: '#ffff00',
hasInnerPoints: false
},
precision: {
touchMax: Infinity
},
segment: {
label: {
position: 'bot',
offsets: [0,-12]
}
},
tapemeasure: {
point1: {
snapToPoints: true,
attractorUnit: 'screen',
attractorDistance: 20
},
point2: {
snapToPoints: true,
attractorUnit: 'screen',
attractorDistance: 20
}
},
text: {
fontSize: 18
},
trunclen: 2
/*
line: {
strokeColor: '#f00' // can't see red lines anymore for NOW ...
},
slider: {
point1: { needsRegularUpdate: true },
point2: { needsRegularUpdate: true },
baseline: { needsRegularUpdate: true },
highline: { needsRegularUpdate: true },
ticks: { needsRegularUpdate: true }
},
renderer: 'canvas'
*/
});
if (JXG.isAndroid() || JXG.isApple()) {
JXG.Options.curve.RDPsmoothing = false;
JXG.Options.curve.numberPointsHigh = 600;
JXG.Options.curve.numberPointsLow = 100;
JXG.Options.curve.doAdvancedPlot = true;
}
|