EHN: add a span_stays option to widget.SpanSelector

If true, the selected span stays visible.