EHN: add a span_stays option to widget.SpanSelector

If true, the selected span stays visible.
Update widgets.py

removed whitespace
Merge pull request #2595 from Tillsten/patch-1

EHN: add a span_stays option to widget.SpanSelector