Fix: Sticky header disappears by momentum scroll#1070

Merged

Dylan-DPC-zz merged 1 commit intorust-lang:masterfrom

rnitta:fix/disappearing-header-with-momentum-scroll

Oct 19, 2019

Commits on Oct 18, 2019

fix the behavior of sticky header
rnitta
committed