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.
update to current jcef-1.0.61;
authorwenzelm
Mon, 06 Jan 2025 16:01:52 +0100
changeset 81736 30ae92baf0c3
parent 81735 527daf6823fb
child 81737 fc26731980dc
update to current jcef-1.0.61;
src/Pure/Admin/component_jcef.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle