Originally created by: *anonymous
Originally created by: pnorcks@gmail.com
When backslashes appear in the *basename* of a file, they should be
percent-escaped. Right now, all backslashes are replaced with forward
slashes to fix URIs for Windows file names.
Consider this file name:
/home/user/my\file.ly
Currently, a hypothetical textedit URI generated for this file looks like
textedit:///home/user/my/file.ly:3:2:2
but it should look like
textedit:///home/user/my%5cfile.ly:3:2:2
Also see: https://sourceforge.net/p/testlilyissues/issues/507/
Diff: