src/Tools/jEdit/src/document_model.scala

         name = Library.perhaps_unprefix(plain_text_prefix, query)
         model <- get(PIDE.resources.node_name(name))
       }
       yield {
         val snapshot = model.await_stable_snapshot()
+        val context =
+          Browser_Info.context(PIDE.resources.sessions_structure,
+            elements = Browser_Info.extra_elements)
         val document =
-          Browser_Info.context(PIDE.resources.sessions_structure, Browser_Info.elements2).
-            preview_document(snapshot,
+          context.preview_document(snapshot,
             plain_text = query.startsWith(plain_text_prefix),
             fonts_css = HTML.fonts_css_dir(HTTP.url_path(request.server_name)))
         HTTP.Response.html(document.content)
       }
   }