Range slider update facets on stop

The processSlider function is called whenever a slider starts to move using the 'slide' event then a timeout is created and if the 'slider' event is triggered within 600 ms then the facets do net get updated.

I find this functionality somewhat difficult to use because if the user stops sliding the slider and holds the mouse button and then the moves the slider after 600 ms then
the facets update. Since the user is still holding the mouse button down the slider continues to slide with the user. After the ajax update the slider pops back to the position is was in when the ajax update request was started.

I propose to update the facets on the slider 'stop' event. That way the facets only update after the user has let go of the mouse button.