• Avoid fractional pixel in viewport height

    @gorhill
    gorhill committed May 5, 2020 
    Fractional pixel could lead to minor scrollbar
glitch -- reported internally.
    Verified
    This commit was signed with a verified signature.
    gorhill Raymond Hill
    GPG key ID: 25E1490B761470C2 Learn about signing commits
    6c90cda