Simon Tatham
06a8d11964
Support SGR 9 for strikethrough effect on text.
...
This is mostly easy: it's just like drawing an underline, except that
you put it at a different height in the character cell. The only
question is _where_ in the character cell.
Pango, and Windows GetOutlineTextMetrics, will tell you exactly where
the font wants to have it. Following xterm, I fall back to 3/8 of the
font's ascent (above the baseline) if either of those is unavailable.
2020-08-13 21:08:53 +01:00
..
2014-02-22 18:01:32 +00:00
2018-11-03 13:47:29 +00:00
2019-12-24 13:47:46 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-11-02 08:26:14 +00:00
2020-02-16 11:26:21 +00:00
2020-08-13 21:08:53 +01:00
2020-08-13 21:08:53 +01:00
2020-06-21 16:39:47 +01:00
2018-11-03 13:45:00 +00:00
2018-11-03 13:45:00 +00:00
2020-08-13 21:08:53 +01:00
2017-12-20 10:04:02 +00:00
2019-03-31 10:35:10 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:14:32 +00:00
2019-10-14 19:42:37 +01:00
2020-01-27 19:40:50 +00:00
2020-06-21 16:39:47 +01:00
2020-03-10 21:27:57 +00:00
2020-02-07 19:14:32 +00:00
2020-02-09 08:51:37 +00:00
2020-03-10 21:11:14 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2017-02-15 19:32:42 +00:00
2019-09-08 20:29:21 +01:00
2018-11-03 13:45:00 +00:00
2020-06-14 15:49:36 +01:00
2020-04-18 13:33:51 +01:00
2020-06-14 15:49:36 +01:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:17:45 +00:00
2020-03-10 21:06:29 +00:00
2020-02-02 10:02:10 +00:00
2020-06-27 08:11:22 +01:00
2020-02-02 10:02:10 +00:00
2019-09-08 20:29:21 +01:00
2020-06-14 15:49:36 +01:00
2020-06-27 08:11:22 +01:00
2020-06-21 16:39:47 +01:00
2020-03-10 21:06:29 +00:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2020-02-23 16:36:27 +00:00
2020-02-09 08:51:37 +00:00
2020-06-14 15:49:36 +01:00
2019-03-26 19:19:28 +00:00
2020-01-29 06:44:18 +00:00
2018-05-09 09:21:27 +01:00
2019-09-08 20:29:21 +01:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00