jquery/jquery-ui — comment on commit 8c17f74a1e64e134108f790d2527df18284ac9cc
File:  line 0
By jzaefferer:

That's an easy fix, nice. Wondering if you could check some other state that refresh initializes, instead of introducing another one.