Scott Kostyshak 73b1c658a2 Use underline in (+ bold) for char match in layout
When showing the match characters in, e.g., the layout box, we now
underline (in addition to bold) the matched characters. This makes
the matched characters stand out even more.

See 4b716dd6 and the following ML thread:

  https://www.mail-archive.com/search?l=mid&q=20181019155649.dqqk6u25wdcdimrj%40barna
2018-10-22 21:16:56 -04:00
..
2018-10-04 21:02:51 -04:00
2017-07-03 13:46:30 -04:00
2018-08-14 17:05:40 +02:00
2018-10-09 10:42:38 +02:00
2018-02-18 09:19:03 +01:00
2018-02-23 23:17:57 -05:00
2018-02-23 23:38:31 -05:00
2017-07-03 13:46:30 -04:00
2017-10-16 10:12:21 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-05-05 15:26:58 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-01-30 12:11:22 +01:00
2017-03-01 16:34:01 +01:00
2018-02-24 00:30:24 -05:00
2017-07-03 13:46:30 -04:00
2018-05-05 12:02:10 -04:00
2018-05-07 10:15:23 +02:00
2018-05-06 19:48:21 +02:00
2018-07-04 19:52:13 +02:00
2018-08-20 09:25:22 +02:00
2018-04-20 23:37:58 -04:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:47:05 -05:00
2017-07-03 13:46:30 -04:00
2018-05-28 12:33:17 +02:00
2018-05-28 12:33:17 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-08-05 10:01:36 +02:00
2018-08-05 10:01:36 +02:00
2018-10-09 10:42:38 +02:00
2018-07-15 20:56:55 +02:00
2018-08-17 10:22:32 +02:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2017-07-03 13:46:30 -04:00
2018-09-19 10:19:19 +02:00
2017-07-03 13:46:30 -04:00
2018-10-07 14:56:55 +02:00
2018-10-07 14:56:55 +02:00
2017-07-03 13:46:30 -04:00
2018-10-13 13:51:00 +02:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-09-20 11:58:08 +02:00
2018-09-20 11:58:08 +02:00
2018-08-07 17:56:07 +02:00
2017-08-03 13:07:41 +02:00
2017-07-03 13:46:30 -04:00
2018-09-20 11:11:44 +02:00
2018-07-22 23:20:21 +02:00
2018-05-27 09:57:22 +02:00
2017-01-09 23:15:16 +01:00
2017-01-09 23:15:16 +01:00
2018-02-24 00:28:37 -05:00
2018-08-30 14:17:53 +02:00
2018-05-02 12:38:40 +02:00
2017-07-03 13:46:30 -04:00
2016-12-31 15:29:43 +01:00