# HG changeset patch
# User wenzelm
# Date 1736175712 -3600
# Node ID 30ae92baf0c347661276f1b4392606a500cfdbc6
# Parent  527daf6823fb5afb7d13f9d4a35c1ecb97ce9dd5
update to current jcef-1.0.61;

diff -r 527daf6823fb -r 30ae92baf0c3 src/Pure/Admin/component_jcef.scala
--- a/src/Pure/Admin/component_jcef.scala	Mon Jan 06 15:33:35 2025 +0100
+++ b/src/Pure/Admin/component_jcef.scala	Mon Jan 06 16:01:52 2025 +0100
@@ -41,7 +41,7 @@
   /* build JCEF */
 
   val default_url = "https://github.com/jcefmaven/jcefbuild/releases/download"
-  val default_version = "1.0.18"
+  val default_version = "1.0.61"
 
   def build_jcef(
     base_url: String = default_url,
@@ -124,7 +124,7 @@
   import isabelle._
   System.setProperty("java.library.path", File.platform_path(Path.explode("$ISABELLE_JCEF_LIB")))
   org.cef.CefApp.startup(Array())
-  GUI_Thread.later { val frame = new tests.detailed.MainFrame(false, false, false, Array()); frame.setSize(1200,900); frame.setVisible(true) }
+  GUI_Thread.later { val frame = new tests.detailed.MainFrame(false, false, false, 60, Array()); frame.setSize(1200,900); frame.setVisible(true) }
 
 * Demo websites