Textedit URIs: leave the colon character unescaped.

The colon ":" is safe to leave unescaped in file URIs because

 - Windows needs it unescaped in the "C:\" path prefix
 - it is a forbidden character in filenames on Mac OS X
 - it is generally not used in filenames on GNU/Linux

diff --git a/lily/general-scheme.cc b/lily/general-scheme.cc
index 76cd33ad7867d160c05e8944460d6327a3c5be9e..cd7e25d8c055f052392a6d40a793c5b24bef7a06 100644 (file)
--- a/lily/general-scheme.cc
+++ b/lily/general-scheme.cc
@@ -233,6 +233,7 @@ is_not_escape_character (Byte c)
     case '.':
     case '/':
     case '0'...'9':
+    case ':':
     case 'A'...'Z':
     case '_':
     case 'a'...'z':