Option to increase geojson maxzoom?

[omasback]

I'm building a tool to draw features with millimeter precision. Unfortunately the default maxzoom of geoJson sources is 18, which equates to a rendering precision of about 10mm.

I believe the offending line is here:

mapbox-gl-draw/src/setup.js

Lines 85 to 100 in c12fb64

	ctx.map.addSource(Constants.sources.COLD, {
	data: {
	type: Constants.geojsonTypes.FEATURE_COLLECTION,
	features: []
	},
	type: 'geojson'
	});
	// hot features style
	ctx.map.addSource(Constants.sources.HOT, {
	data: {
	type: Constants.geojsonTypes.FEATURE_COLLECTION,
	features: []
	},
	type: 'geojson'
	});

Im pretty sure this could be fixed by setting maxzoom of geojson data source to >=24, or even making it an init option.