--- a/src/Tools/jEdit/src/plugin.scala Mon Jan 09 19:34:16 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala Mon Jan 09 20:26:59 2017 +0100
@@ -386,9 +386,7 @@
JEdit_Lib.jedit_text_areas.foreach(Completion_Popup.Text_Area.init _)
- val content = JEdit_Sessions.session_content(false)
- val resources =
- new JEdit_Resources(content.loaded_theories, content.known_theories, content.syntax)
+ val resources = new JEdit_Resources(JEdit_Sessions.session_content(false))
PIDE.session.stop()
PIDE.session = new Session(resources) {