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 }