Ask questionsFilenames in output should be quoted
This is motivated by the fact I get output like the following in the
LaTeX Compiler log window in VSCode:
Writing /Users/alex/Documents/A filename with spaces.tex (123 bytes)
/Users/alex/Documents/A gets highlighted as a filename. In any case, the general practice is to enclose filenames in console output as
`/a/b/c`, I believe. This would solve the issue.
I don't know if it covers all cases, but the
note_highlighted fn (second parameter) seems to be responsible for this sort of printing. The enclosing of filenames in backticks is probably best done at call-site however (using a helper function?).
While I'm writing this, a bonus would be comma-separating the number of bytes, e.g.,
123,456,789 bytes -- or better yet,
123 MB (also
B of course). All for readability of course, since this is nitpicking!
Answer questions alexreg
Thanks, glad to see this has been fixed!
Related questionsNo questions were found.