Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Auto-hidden scrollbar broken in v180416 #1527
I deleted my last comment.
I figured out that scrollbar show/hide depends on number of lines printed in a whole (or a rapid row). I made an utility for testing: Print_some_lines.zip Under 400 lines usually scrollbar not appears and over 700 usually appears.
Following screen recording shows this behavior, plus that mouse hover not works (even when many lines are printed to console) after v180415: