src/Tools/jEdit/src/document_dockable.scala

         }
     }
 
 
   /* document build process */
-
-  private def document_theories(): List[Document.Node.Name] =
-    PIDE.editor.document_theories()
 
   private def init_state(): Unit =
     current_state.change { _ => Document_Dockable.State(progress = log_progress()) }
 
   private def cancel_process(): Unit =

             options, session, dirs = JEdit_Sessions.session_dirs)
         PIDE.editor.document_setup(Some(session_background))
 
         finish_process(Nil)
         GUI_Thread.later {
-          theories.update(domain = Some(document_theories().toSet), trim = true)
+          val domain = PIDE.editor.document_theories().toSet
+          theories.update(domain = Some(domain), trim = true, force = true)
           show_state()
           show_page(theories_page)
         }
       }
       catch {

           handle_resize()
           theories.refresh()
         }
       case changed: Session.Commands_Changed =>
         GUI_Thread.later {
-          val domain = document_theories().filter(changed.nodes).toSet
+          val domain = PIDE.editor.document_theories().filter(changed.nodes).toSet
           if (domain.nonEmpty) theories.update(domain = Some(domain))
         }
     }
 
   override def init(): Unit = {
     PIDE.editor.document_init(dockable)
     init_state()
     PIDE.session.global_options += main
     PIDE.session.commands_changed += main
-    theories.update(domain = Some(document_theories().toSet), force = true)
     handle_resize()
     delay_load.invoke()
   }
 
   override def exit(): Unit = {