GUI SpanPropertyForm: rm coupling of span and width (#856)
This resolves #856 (closed).
This resolves #856 (closed).
enabled an automatic merge when the pipeline for d15914d3 succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for 4bb57a3c succeeds
merged
mentioned in commit df2d870c