GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
I think there is a small bug in resizing.
During the resize the terminal sometimes puts a new line char even if there space for the rest of the line.
When you release the mouse button it goes right.
It's not very problematic for resizing because it goes normally after.
But when you change the size programmatically, then you need to do it twice, which is strange...
For a more visual explanation checkout this Youtube: http://www.youtube.com/watch?v=otTqSPlgjVE
I search a little bit but I can't figure out what is wrong...
I tested on Chrome 19 and Firefox 13 both have this bug.