--- a/src/Pure/Admin/component_jedit.scala Wed Apr 16 22:52:32 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala Wed Apr 16 23:16:11 2025 +0200
@@ -153,6 +153,15 @@
Isabelle_System.extract(tango_path.zip, tango_path, strip = true)
+ /* IntelliJ IDEA icons (SVG) */
+
+ val idea_path = Isabelle_System.make_directory(tmp_dir + Path.explode("idea"))
+ Isabelle_System.download_file(
+ "https://isabelle.sketis.net/components/idea-icons-20250415.tar.gz",
+ idea_path.tar.gz, progress = progress)
+ Isabelle_System.extract(idea_path.tar.gz, idea_path, strip = true)
+
+
/* patched version */
Isabelle_System.copy_dir(jedit_dir, jedit_patched_dir)
@@ -175,6 +184,7 @@
val jedit_icons_path = source_dir + Path.explode("org/gjt/sp/jedit/icons/themes")
val jedit_classic_path = jedit_icons_path + Path.basic("classic")
val jedit_tango_path = jedit_icons_path + Path.basic("tango")
+ val jedit_idea_path = jedit_tango_path + Path.basic("idea-icons")
for (theme <- List(jedit_classic_path, jedit_tango_path)) {
Isabelle_System.copy_file(Path.explode("~~/lib/logo/isabelle_transparent-32.gif"),
@@ -189,6 +199,10 @@
Isabelle_System.copy_file(File.path(svg_file), dir + rel_path.base)
}
+ Isabelle_System.extract(idea_path + Path.explode("jar/idea-icons.jar"), jedit_tango_path)
+ Isabelle_System.rm_tree(jedit_tango_path + Path.explode("META-INF"))
+ Isabelle_System.copy_file(idea_path + Path.explode("README"), jedit_idea_path)
+
progress.echo("Building jEdit ...")
Isabelle_System.copy_dir(source_dir, tmp_source_dir)
progress.bash("ant", cwd = tmp_source_dir, echo = true).check