Kevin Easton
1e97709bd8
Use output_screen size instead of current_term in term_scroll
...
This fixes a regression in commmit 70ac43ce77 ,
where the original screen size would be used to scroll after the terminal had
been resized. If the screen was shrunk, this caused display problems when
running under GNU Screen.
Using output_screen size means that it stands a better chance of working on
non-default screens, too.
2018-05-05 11:31:31 +10:00
..
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2008-02-25 09:25:32 +00:00
2017-10-20 14:57:17 +11:00
2008-02-25 09:25:32 +00:00
2017-06-06 23:47:10 +10:00
2017-07-01 00:47:20 +10:00
2017-10-20 14:57:17 +11:00
2016-03-17 21:39:17 +11:00
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2017-07-09 00:14:15 +10:00
2017-12-07 00:23:43 +11:00
2017-11-27 23:02:35 +11:00
2014-10-26 13:08:43 +00:00
2017-11-27 23:15:06 +11:00
2018-04-12 00:20:13 +10:00
2017-10-20 14:57:17 +11:00
2008-02-25 09:25:32 +00:00
2017-06-28 22:26:08 +10:00
2017-10-20 14:57:17 +11:00
2017-11-27 23:02:35 +11:00
2017-10-20 14:57:17 +11:00
2008-02-25 09:49:14 +00:00
2017-01-25 17:12:38 +11:00
2017-06-28 00:03:09 +10:00
2017-11-23 17:22:38 +11:00
2017-12-06 22:13:34 +11:00
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2017-05-29 15:54:57 +10:00
2008-02-25 09:25:32 +00:00
2017-10-20 14:57:17 +11:00
2017-11-17 16:32:28 +11:00
2017-11-29 23:50:32 +11:00
2017-10-20 14:57:17 +11:00
2017-11-17 16:32:28 +11:00
2017-10-20 14:57:17 +11:00
2017-12-01 23:42:26 +11:00
2017-11-23 17:22:38 +11:00
2017-05-10 23:41:32 +10:00
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2008-02-25 09:49:14 +00:00
2008-02-25 09:49:14 +00:00
2017-06-06 23:47:10 +10:00
2017-11-27 23:15:06 +11:00
2017-12-20 20:25:27 +11:00
2018-02-08 22:39:49 +11:00
2017-11-10 16:57:26 +11:00
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2017-06-26 15:13:40 +10:00
2017-11-30 17:27:05 +11:00
2017-12-06 22:13:34 +11:00
2017-10-20 14:57:17 +11:00
2017-12-06 23:30:24 +11:00
2017-10-20 14:57:17 +11:00
2008-02-25 09:25:32 +00:00
2008-02-25 09:25:32 +00:00
2008-02-25 09:25:32 +00:00
2008-02-25 09:25:32 +00:00
2017-07-11 19:01:09 +10:00
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2017-11-18 00:20:36 +11:00
2017-10-20 14:57:17 +11:00
2017-12-07 00:23:43 +11:00
2008-02-25 09:49:14 +00:00
2017-10-20 14:57:17 +11:00
2011-02-02 12:34:13 +00:00
2017-10-25 16:59:18 +11:00
2017-11-27 23:15:06 +11:00
2018-05-05 11:31:31 +10:00
2017-10-20 14:57:17 +11:00
2017-10-20 14:57:17 +11:00
2015-10-20 23:12:33 +11:00
2017-10-23 00:32:05 +11:00
2017-11-03 14:48:26 +11:00
2017-11-14 23:15:33 +11:00
2017-02-22 23:03:17 +11:00
2017-10-20 14:57:17 +11:00
2017-11-10 17:16:58 +11:00
2017-11-23 17:22:38 +11:00
2017-11-24 17:29:51 +11:00
2008-02-25 09:25:32 +00:00