# HG changeset patch
# User wenzelm
# Date 1377898869 -7200
# Node ID 69a0bdfc7fa53aaf083918a20afb10b06d0e998e
# Parent  b3817a0e32112ebeea5f4a302263d0fccddd39f6
simplified (see 7c39677f9ea0);

diff -r b3817a0e3211 -r 69a0bdfc7fa5 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Fri Aug 30 23:38:18 2013 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Fri Aug 30 23:41:09 2013 +0200
@@ -303,8 +303,7 @@
       Isabelle_System.init()
       Isabelle_Font.install_fonts()
 
-      val init_options = Options.init()
-      Swing_Thread.now { PIDE.options.update(init_options)  }
+      PIDE.options.update(Options.init())
       PIDE.completion_history.load()
 
       if (Platform.is_macos && PIDE.options.bool("jedit_mac_adapter"))