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/plugin.scala
changeset 65210 8cfdf420b643
parent 65206 ff8c3c29a924
child 65213 51c0f094dc02 
--- a/src/Tools/jEdit/src/plugin.scala	Mon Mar 13 15:32:19 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Mon Mar 13 15:59:00 2017 +0100
@@ -389,7 +389,7 @@
 
       JEdit_Lib.jedit_text_areas.foreach(Completion_Popup.Text_Area.init _)
 
-      val resources = new JEdit_Resources(JEdit_Sessions.session_base(false))
+      val resources = new JEdit_Resources(JEdit_Sessions.session_base())
 
       PIDE.session.stop()
       PIDE.session = new Session(resources) {
isabelle