Closed GoogleCodeExporter closed 8 years ago
Here are two patches. The first just adds the page-by-page scroll percentage.
The second includes the first and also adds the extra modifier and associated
percentage.
Original comment by brandon....@gmail.com
on 5 Nov 2012 at 10:19
Attachments:
Thanks very much for going to the trouble of creating patches (including
documentation!), but sorry, I'm rejecting this. Scrolling by whole pages is
standard behaviour throughout Windows and other GUIs as well as textmode
programs, and the keys are called _Page_ up/down after all. Moreover, I just
don't want to add options for everything, as per the 'min' in mintty.
However, having looked at this, there actually is a problem with the
page-by-page scrolling anyway. Other programs don't quite scroll by a whole
page, i.e. when scrolling down, the previous bottom line moves to the top,
rather than out of view, and vice versa. This can provide a little bit of
context, and mintty doesn't do that. I've entered issue 359 for this.
Btw, there's also line-by-line scrolling using Shift+up/down, which might be
helpful.
Original comment by andy.koppe
on 17 Nov 2012 at 6:46
Original issue reported on code.google.com by
brandon....@gmail.com
on 3 Nov 2012 at 9:51