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
..
2019-09-08 20:29:21 +01:00
2020-06-21 16:39:47 +01:00
2020-06-21 16:39:47 +01:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2019-03-18 20:32:55 +00:00
2007-01-07 10:17:12 +00:00
2005-10-04 14:13:28 +00:00
2007-01-07 10:17:12 +00:00
2005-10-04 14:13:28 +00:00
2005-10-04 14:13:28 +00:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2020-03-10 07:11:32 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2019-03-18 20:32:55 +00:00
2007-02-06 22:39:15 +00:00
2019-09-08 20:29:21 +01:00
2019-03-16 12:25:23 +00:00
2017-09-13 19:26:28 +01:00
2019-03-18 21:53:45 +00:00
2020-02-16 11:26:21 +00:00
2019-03-18 22:02:13 +00:00
2017-05-07 16:29:01 +01:00
2019-03-16 12:25:23 +00:00
2019-03-18 20:32:55 +00:00
2020-02-02 10:02:10 +00:00
2020-02-02 10:02:10 +00:00
2020-03-10 21:27:57 +00:00
2020-02-07 19:15:13 +00:00
2020-02-09 08:51:37 +00:00
2020-02-16 11:26:21 +00:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2020-08-13 21:08:53 +01:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2019-03-26 00:27:04 +00:00
2020-06-27 08:11:22 +01:00
2019-03-16 12:25:23 +00:00
2020-03-10 21:06:29 +00:00
2019-10-14 19:42:37 +01:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2019-03-16 12:25:23 +00:00
2019-09-08 20:29:21 +01:00
2010-12-27 00:24:48 +00:00
2020-01-04 13:52:22 +00:00
2020-03-10 21:06:29 +00:00
2020-03-10 21:06:29 +00:00
2020-03-21 15:59:51 +00:00
2020-01-29 06:44:18 +00:00
2020-04-18 13:33:51 +01:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:17:45 +00:00
2020-02-02 10:02:10 +00:00
2020-02-02 10:02:10 +00:00
2020-02-02 10:02:10 +00:00
2020-01-04 13:52:22 +00:00
2020-01-04 13:52:22 +00:00
2020-06-14 15:49:36 +01:00
2020-02-09 08:19:21 +00:00
2020-01-04 13:52:22 +00:00
2020-02-23 16:36:27 +00:00
2019-10-14 19:42:37 +01:00
2020-02-09 08:19:21 +00:00
2017-02-14 23:25:25 +00:00
2019-09-08 20:29:21 +01:00
2020-02-02 10:02:10 +00:00
2019-09-08 20:29:21 +01:00