# HG changeset patch
# User wenzelm
# Date 1583579715 -3600
# Node ID 4b908e70d6424d8a97c7213e42134eed5772583d
# Parent  abe3c309998bd543350e1e42ab39bb64243b6015
copy jEdit sources instead of jar, for better browsing experience;

diff -r abe3c309998b -r 4b908e70d642 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Sat Mar 07 12:14:51 2020 +0100
+++ b/src/Pure/Tools/scala_project.scala	Sat Mar 07 12:15:15 2020 +0100
@@ -43,6 +43,7 @@
           if (line.length > 42 && line(41) == '*') line.substring(42)
           else error("Bad shasum entry: " + quote(line))
         if name != "lib/classes/Pure.jar" &&
+          name != "src/Tools/jEdit/dist/jedit.jar" &&
           name != "src/Tools/jEdit/dist/jars/Isabelle-jEdit-base.jar" &&
           name != "src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar"
       } yield name)
@@ -70,7 +71,11 @@
       error("Project directory already exists: " + project_dir)
 
     val src_dir = project_dir + Path.explode("src/main/scala")
-    Isabelle_System.mkdirs(src_dir)
+    val java_src_dir = project_dir + Path.explode("src/main/java")
+    val scala_src_dir = project_dir + Path.explode("src/main/scala")
+    Isabelle_System.mkdirs(scala_src_dir)
+
+    Isabelle_System.copy_dir(Path.explode("~~/src/Tools/jEdit/dist/jEdit"), java_src_dir)
 
     val files = isabelle_files()
 
@@ -78,7 +83,7 @@
       val (path, target) =
         isabelle_dirs.collectFirst({
           case (prfx, p) if file.startsWith(prfx) =>
-            (Path.explode("~~") + Path.explode(file), src_dir + p)
+            (Path.explode("~~") + Path.explode(file), scala_src_dir + p)
         }).getOrElse(error("Unknown directory prefix for " + quote(file)))
 
       Isabelle_System.mkdirs(target)