2 Commits

Author	SHA1	Message	Date
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