# HG changeset patch
# User wenzelm
# Date 1634654721 -7200
# Node ID 1861f4d1d3f99e2aa27a3eadea07c34a6463badf
# Parent  54055f568d763acf1be0862f7d98e5e7a0e33c8f
updated to jEdit plugin Highlight 2.5;

diff -r 54055f568d76 -r 1861f4d1d3f9 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Oct 19 15:20:31 2021 +0200
+++ b/Admin/components/components.sha1	Tue Oct 19 16:45:21 2021 +0200
@@ -192,6 +192,7 @@
 beb99f2cb0bd4e595c5c597d3970c46aa21616e4  jedit-20210717.tar.gz
 33dd96cd83f2c6a26c035b7a0ee57624655224c5  jedit-20210724.tar.gz
 0e4fd4d66388ddc760fa5fbd8d4a9a3b77cf59c7  jedit-20210802.tar.gz
+258d527819583d740a3aa52dfef630eed389f8c6  jedit-20211019.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d  jedit_build-20120307.tar.gz
diff -r 54055f568d76 -r 1861f4d1d3f9 Admin/components/main
--- a/Admin/components/main	Tue Oct 19 15:20:31 2021 +0200
+++ b/Admin/components/main	Tue Oct 19 16:45:21 2021 +0200
@@ -10,7 +10,7 @@
 isabelle_fonts-20211004
 isabelle_setup-20210922
 jdk-17+35
-jedit-20210802
+jedit-20211019
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.7
diff -r 54055f568d76 -r 1861f4d1d3f9 src/Pure/Admin/build_jedit.scala
--- a/src/Pure/Admin/build_jedit.scala	Tue Oct 19 15:20:31 2021 +0200
+++ b/src/Pure/Admin/build_jedit.scala	Tue Oct 19 16:45:21 2021 +0200
@@ -98,7 +98,7 @@
       "CommonControls" -> "1.7.4",
       "Console" -> "5.1.4",
       "ErrorList" -> "2.4.0",
-      "Highlight" -> "2.2",
+      "Highlight" -> "2.5",
       "Navigator" -> "2.7",
       "SideKick" -> "1.8")