1 JXG.Options = JXG.deepCopy(JXG.Options, { 2 3 axisScaleX: 1, 4 5 axisScaleY: 1, 6 7 device: 'tablet', 8 9 opacityLevel: 0.5, 10 11 sensitive_area: 20, 12 13 lastRegPolCorners: 3, 14 15 angle: { 16 fillColor: '#ddd', 17 strokeColor: '#000' 18 }, 19 20 glider : { 21 fillColor: '#ff0', 22 strokeColor: '#000' 23 }, 24 25 intersection: { 26 fillColor: '#fff' 27 }, 28 29 point: { 30 size: 4, 31 fillColor: '#c00', 32 strokeColor: '#000', 33 34 // snap on majorTicks 35 36 snapX: -1, 37 snapY: -1 38 }, 39 40 polygon: { 41 fillColor: '#ffff00', 42 highlightFillColor: '#ffff00', 43 hasInnerPoints: false 44 }, 45 46 precision: { 47 touchMax: Infinity 48 }, 49 50 segment: { 51 label: { 52 position: 'bot', 53 offsets: [0,-12] 54 } 55 } 56 /* 57 line: { 58 strokeColor: '#f00' // can't see red lines anymore for NOW ... 59 }, 60 61 slider: { 62 point1: { needsRegularUpdate: true }, 63 point2: { needsRegularUpdate: true }, 64 baseline: { needsRegularUpdate: true }, 65 highline: { needsRegularUpdate: true }, 66 ticks: { needsRegularUpdate: true } 67 }, 68 69 renderer: 'canvas' 70 */ 71 }); 72 73 if (JXG.isAndroid() || JXG.isApple()) { 74 JXG.Options.curve.RDPsmoothing = false; 75 JXG.Options.curve.numberPointsHigh = 600; 76 JXG.Options.curve.numberPointsLow = 100; 77 JXG.Options.curve.doAdvancedPlot = false; 78 }