more precise height calculation when scrolling up as much as possible while keeping cursor on screen

Created by  Kartik K. Agaram  on May 21, 2022
TRNWIQN6RPLDLYWULLKG5L255E7E3DPNGLCSLAF6IJWYQRCCLARQC
Change contents