# HG changeset patch
# User blanchet
# Date 1348699268 -7200
# Node ID 289de72578bb3f048087a05818fe8040f6137820
# Parent  ba31032887db3763d04994cf8fba12ab74ffe95d# Parent  2b114b9d9d349ac9f573c5330e6ee509c6e44ae6
merge

diff -r ba31032887db -r 289de72578bb src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Thu Sep 27 00:40:51 2012 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Thu Sep 27 00:41:08 2012 +0200
@@ -20,6 +20,7 @@
   "src/isabelle_rendering.scala"
   "src/isabelle_sidekick.scala"
   "src/jedit_lib.scala"
+  "src/jedit_main.scala"
   "src/jedit_thy_load.scala"
   "src/jedit_options.scala"
   "src/output_dockable.scala"
diff -r ba31032887db -r 289de72578bb src/Tools/jEdit/src/jedit_main.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/jedit_main.scala	Thu Sep 27 00:41:08 2012 +0200
@@ -0,0 +1,33 @@
+/*  Title:      Tools/jEdit/src/jedit_main.scala
+    Author:     Makarius
+
+Main entry point from running JVM.
+*/
+
+package isabelle.jedit
+
+
+import isabelle._
+
+
+import org.gjt.sp.jedit.jEdit
+
+
+object JEdit_Main
+{
+  def main(args: Array[String])
+  {
+    Platform.init_laf()
+    Isabelle_System.init()
+
+    System.setProperty("jedit.home",
+      Isabelle_System.platform_path(Path.explode("$JEDIT_HOME/dist")))
+
+    // FIXME properties from JEDIT_JAVA_OPTIONS JEDIT_SYSTEM_OPTIONS
+    val jedit_options = Isabelle_System.getenv_strict("JEDIT_OPTIONS").split(" +")
+    val jedit_settings =
+      Array("-settings=" + Isabelle_System.platform_path(Path.explode("$JEDIT_SETTINGS")))
+    jEdit.main(jedit_options ++ jedit_settings ++ args)
+  }
+}
+