Size, in pixels, of `depth_texture`

Property definitions

	# Size, in pixels, of `depth_texture`
	var depth_texture_size = uniforms["depth_size"].as(UniformFloat) is lazy

lib/gamnit/depth/more_materials.nit:593,2--594,73