Simon Tatham
520915c641
Windows: make 'resize by changing font' work again.
...
It looks as if I broke this some time around commit cfc902361633915,
when I stopped proactively calling term_size() in advance of resizing
the window. A side effect was that I also stopped calling it at all in
the case where we're _not_ resizing the window (because changing the
size of the terminal means adapting the font size to fit a different
amount of stuff in the existing window).
Fixed by moving all the new machinery inside the 'actually resize the
window' branch of the if statement, and restoring the previous
behaviour in the other branch, this time with a comment that will
hopefully stop me making the same mistake again.
2022-01-08 14:04:51 +00:00
..
2022-01-03 12:21:39 +00:00
2022-01-03 12:12:05 +00:00
2021-05-24 15:27:38 +01:00
2022-01-03 12:21:39 +00:00
2021-05-22 14:13:52 +01:00
2021-10-30 17:28:28 +01:00
2021-12-28 18:08:31 +00:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-12-28 18:08:31 +00:00
2021-07-01 18:59:44 +01:00
2021-09-30 19:16:20 +01:00
2021-12-22 15:45:41 +00:00
2021-05-27 09:48:32 +01:00
2021-04-26 18:00:01 +01:00
2021-10-18 20:15:35 +01:00
2021-04-26 18:00:01 +01:00
2021-05-03 17:01:55 +01:00
2022-01-03 06:40:51 +00:00
2021-12-22 15:45:41 +00:00
2020-06-21 16:39:47 +01:00
2020-06-21 16:39:47 +01:00
2021-10-30 17:29:24 +01:00
2021-10-30 17:29:24 +01:00
2021-11-06 14:48:26 +00:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-04-22 20:00:46 +01:00
2022-01-03 12:21:39 +00:00
2019-09-08 20:29:21 +01:00
2021-04-26 18:00:01 +01:00
2022-01-03 12:21:39 +00:00
2021-12-28 18:08:31 +00:00
2005-10-04 14:13:28 +00:00
2021-04-26 18:00:01 +01:00
2005-10-04 14:13:28 +00:00
2021-04-26 18:00:01 +01:00
2021-10-18 20:15:35 +01:00
2021-05-08 17:33:25 +01:00
2021-05-08 17:51:27 +01:00
2021-05-08 17:33:25 +01:00
2021-09-16 14:33:59 +01:00
2021-09-16 14:33:59 +01:00
2021-05-08 17:20:50 +01:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2021-02-23 18:26:50 +00:00
2022-01-08 13:00:48 +00:00
2019-09-08 20:29:21 +01:00
2021-04-26 18:00:01 +01:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2021-04-17 13:53:02 +01:00
2019-03-18 21:53:45 +00:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-10-30 17:28:28 +01:00
2021-12-28 18:08:31 +00:00
2022-01-03 12:12:05 +00:00
2020-02-16 11:26:21 +00:00
2021-11-19 11:32:47 +00:00
2021-04-26 18:00:01 +01:00
2019-03-18 22:02:13 +00:00
2017-05-07 16:29:01 +01:00
2021-04-26 18:00:01 +01:00
2022-01-08 14:04:51 +00:00
2021-04-26 18:00:01 +01:00