matplotlib/matplotlib — pull request #2595 by Tillsten (2013-11-16 08:15:05+00:00)
Title: EHN: add a span_stays option to widget.SpanSelector

If true, the selected span stays visible.