Nathan Sobo
c7cc404c42
Simplify page-up/page-down
...
We simply move the cursor up or down by the number of whole lines that
fit on screen, allowing autoscroll to adjust the scroll position. This
causes there to be a margin under the location to which we move the
cursor, but I think it’s better to provide context and keep the
autoscroll experience consistent when using the keyboard.
2015-08-28 13:39:14 -06:00
..
2015-08-21 16:59:53 -07:00
2015-08-25 14:24:11 -07:00
2014-11-26 14:55:38 -08:00
2015-08-21 12:14:10 -07:00
2015-07-07 19:29:23 -05:00
2015-08-20 11:58:46 -07:00
2015-02-04 15:27:17 -08:00
2015-04-29 09:43:41 -07:00
2014-02-03 13:20:28 -08:00
2014-09-25 20:39:04 -06:00
2015-08-24 14:10:02 -07:00
2015-08-21 14:47:32 -07:00
2015-08-24 17:00:09 -07:00
2015-03-04 10:02:03 -08:00
2015-06-18 19:54:37 +02:00
2015-05-27 11:18:15 -07:00
2015-07-29 11:48:49 -07:00
2014-09-30 12:58:10 -06:00
2015-08-25 10:50:05 -07:00
2015-03-23 15:38:38 -07:00
2014-12-12 12:26:09 -08:00
2015-08-12 17:55:19 -07:00
2015-06-18 19:54:37 +02:00
2015-08-21 12:55:22 -07:00
2015-04-22 07:29:00 -07:00
2015-04-08 10:27:03 +02:00
2015-06-17 12:07:42 -07:00
2015-05-28 22:59:10 +02:00
2014-10-15 13:12:42 -07:00
2014-11-24 14:58:21 -08:00
2015-07-07 13:46:53 -07:00
2015-07-31 10:37:56 -07:00
2015-06-08 20:57:35 -04:00
2015-08-13 06:54:51 -07:00
2015-07-23 18:47:38 -04:00
2015-04-06 23:59:54 -04:00
2015-07-23 18:47:38 -04:00
2015-04-15 14:20:16 -07:00
2014-12-01 17:53:03 -08:00
2014-12-01 16:28:33 -08:00
2014-12-01 17:53:03 -08:00
2014-12-09 13:41:33 -07:00
2015-08-26 15:26:02 -07:00
2015-03-19 15:08:48 -06:00
2014-02-02 19:29:54 +06:00
2014-11-26 14:55:38 -08:00
2015-05-22 16:29:12 -04:00
2014-11-26 14:55:38 -08:00
2014-06-04 10:01:45 -07:00
2013-12-31 15:05:34 -08:00
2015-07-27 09:59:14 -07:00
2014-07-21 10:43:30 -07:00
2015-01-07 10:24:19 -08:00
2015-01-07 09:51:42 -07:00
2015-01-07 09:51:42 -07:00
2015-07-07 09:50:07 -07:00
2015-08-28 09:45:55 +02:00
2015-07-01 12:36:10 +02:00
2015-08-27 17:40:01 -06:00
2015-08-28 13:39:14 -06:00
2014-10-24 13:31:42 -07:00
2015-04-15 09:18:02 -07:00
2014-08-14 19:41:49 +02:00
2015-08-10 14:21:23 -06:00
2015-05-21 19:56:52 +02:00
2015-04-13 12:24:25 +02:00
2015-08-19 17:55:29 -07:00
2015-08-18 21:38:00 +02:00
2015-05-27 11:18:15 -07:00
2015-05-14 16:18:54 -07:00
2015-08-10 11:32:38 -06:00
2015-04-23 16:10:06 -07:00