# HG changeset patch
# User wenzelm
# Date 1744838171 -7200
# Node ID 6d5a169c3a2286ed10bf5172c257b5c99742b5d7
# Parent  1abc4fc6a5f8f710f88fde9534bc14c47e8cb9f6
bundle idea-icons-20250415 with jedit -- requires to update jedit component;

diff -r 1abc4fc6a5f8 -r 6d5a169c3a22 src/Pure/Admin/component_jedit.scala
--- 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