Fabian Homborg c27fb9b802 source: Escape filenames in errors
Otherwise this would look weird if you had, say, a tab in there.

See #7716.

(note that this doesn't handle e.g. zero-width-joiners, because those
aren't currently escaped. we might want to add an escape mode for
unprintable characters, but for combining codepoints that's tricky!)
2021-02-15 17:08:26 +01:00
..
2020-09-04 16:30:13 +02:00
2020-02-08 13:30:48 +01:00
2019-06-26 21:19:40 +02:00
2020-12-28 23:23:06 +01:00
2020-11-07 22:48:13 +01:00
2019-06-26 21:19:40 +02:00
2020-01-19 15:07:06 +01:00
2021-02-15 17:08:26 +01:00
2020-02-14 20:28:46 +01:00
2021-02-05 17:58:02 -08:00
2020-12-29 12:48:11 +01:00
2020-02-07 20:53:20 +01:00
2020-04-26 08:49:01 +02:00
2020-11-27 19:33:27 +01:00
2020-02-17 11:39:53 +01:00
2019-07-09 10:02:50 -07:00
2020-06-07 16:23:29 +02:00
2021-01-24 15:57:23 +01:00
2020-03-16 21:21:10 +01:00
2020-09-26 14:56:03 +02:00