Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 15 Feb 2025 14:00:24 +0100
changeset 82179 bff32e50fe14
parent 82178 4dbf67cfc0bd
child 82180 1fad64843239
tuned;
src/Pure/Admin/component_jedit.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_jedit.scala	Sat Feb 15 00:20:02 2025 +0100
+++ b/src/Pure/Admin/component_jedit.scala	Sat Feb 15 14:00:24 2025 +0100
@@ -150,7 +150,7 @@
       Isabelle_System.copy_dir(jedit_dir, jedit_patched_dir)
 
       val source_dir = jedit_patched_dir + Path.basic("jEdit")
-      val org_source_dir = source_dir + Path.basic("org")
+      val source_org_dir = source_dir + Path.basic("org")
       val tmp_source_dir = tmp_dir + Path.basic("jEdit")
 
       progress.echo("Patching jEdit sources ...")
@@ -176,7 +176,7 @@
 
       val java_sources =
         (for {
-          file <- File.find_files(org_source_dir.file, file => File.is_java(file.getName))
+          file <- File.find_files(source_org_dir.file, file => File.is_java(file.getName))
           package_name <- Scala_Project.package_name(File.path(file))
           if !exclude_package(package_name)
         } yield File.path(component_path.java_path.relativize(file.toPath).toFile).implode).sorted
isabelle