spotRadius

[tischi]

@constantinpape We don't have the spotRadius field yet in the dataset.json here, do we? Could you please add it to the SpotDisplay?

[constantinpape]

Done. I set it to 0.25 now, which sounded reasonable to me in micrometer, but it's easy to change to some other value ofc.

Also note that for now we haven't declared the spotRadius as mandatory in the spec, so the previous version of the dataset.json was also valid. This means that in general you need to take some default value (1?!) if the spotRadius is not given. But if you prefer we could also make spotRadius mandatory.

[tischi]

I can put 1.0 as default, but I think one SHOULD provide it.