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.
simplified (see 7c39677f9ea0);
authorwenzelm
Fri, 30 Aug 2013 23:41:09 +0200
changeset 53338 69a0bdfc7fa5
parent 53337 b3817a0e3211
child 53339 0dc28fd72c7d
simplified (see 7c39677f9ea0);
src/Tools/jEdit/src/plugin.scala file | annotate | diff | comparison | revisions 
--- 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"))
isabelle