Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit_sessions.scala
changeset 73802 8d9ac6cfc270
parent 73367 77ef8bef0593
child 75393 87ebf5a50283 
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Fri Jun 04 22:30:17 2021 +0200
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Fri Jun 04 22:46:11 2021 +0200
@@ -143,7 +143,7 @@
 
     session.phase_changed += PIDE.plugin.session_phase_changed
 
-    Isabelle_Process(session, options, sessions_structure, store,
+    Isabelle_Process.start(session, options, sessions_structure, store,
       logic = PIDE.resources.session_name,
       modes =
         (space_explode(',', options.string("jedit_print_mode")) :::
isabelle