3 Commits

Author	SHA1	Message	Date
Benjamin Sago	43bc16dba2	Test change emoji width ... The change in 08281333002079ee65af35bf3f61abf7f81f7cc2 means that the width of emoji are used. I think the issue https://github.com/unicode-rs/unicode-width/issues/4 means that the wrong width is being calculated for emoji, and there happens to be one in the example.	2017-05-17 23:12:27 +01:00
Benjamin Sago	56d4d4c156	Also escape characters in links and headings ... Doing this meant that the escaping functionality got used in three places, so it was extracted into a generalised function in its own module. This is slighly slower for the case where escaped characters are displayed in the same colour as the displayable characters, which happens when listing a directory’s name when recursing. Optimise this, yeah?	2017-05-01 21:54:53 +01:00
Benjamin Sago	eb7e53ef6c	Only highlight escaped characters in file names ... Rather than the *entire* file name. The current method is extremely inefficient, but having control characters in file names is also extremely uncommon; it’s something that should be fixed, only eventually.	2017-05-01 15:06:37 +01:00