Closed doy closed 10 years ago
This is mostly implemented now, but there are still some bugs. It's not entirely clear what to do when the window is resized, for instance - should the bottom margin always be relative to the bottom of the terminal? Keeping it at a fixed value when resizing doesn't appear to work, but I'm not sure if adjusting it is right either. Should look at what other terminals do.
Seems like other terminals just reset the scroll region whenever the terminal is resized.
\033[r