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.
more robust system init (again), in case the plugin is started without isabelle.Main;
authorwenzelm
Wed, 30 Sep 2015 14:49:39 +0200
changeset 61290 b18f83985215
parent 61289 14cd4eabce10
child 61291 e00e1bf23d03
more robust system init (again), in case the plugin is started without isabelle.Main;
src/Tools/jEdit/src/plugin.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/plugin.scala	Wed Sep 30 14:37:21 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Wed Sep 30 14:49:39 2015 +0200
@@ -384,6 +384,7 @@
       Debug.DISABLE_SEARCH_DIALOG_POOL = true
 
       PIDE.plugin = this
+      Isabelle_System.init()
       GUI.install_fonts()
 
       PIDE.options.update(Options.init())
isabelle