Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/src/vscode_resources.scala
changeset 64806 99f49258b02b
parent 64800 415dafeb9669
child 64812 ddbb89e7621d 
--- a/src/Tools/VSCode/src/vscode_resources.scala	Thu Jan 05 16:46:01 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Thu Jan 05 21:34:04 2017 +0100
@@ -134,7 +134,7 @@
   /* file content */
 
   def try_read(file: JFile): Option[String] =
-    try { Some(File.read(file)) }
+    try { Some(Line.normalize(File.read(file))) }
     catch { case ERROR(_) => None }
 
   def get_file_content(file: JFile): Option[String] =
isabelle