src/Tools/jEdit/src/document_model.scala

--- a/src/Tools/jEdit/src/document_model.scala	Mon Feb 21 13:19:30 2022 +0100
+++ b/src/Tools/jEdit/src/document_model.scala	Mon Feb 21 13:30:51 2022 +0100
@@ -313,7 +313,7 @@
   def preview_service: HTTP.Service =
     HTTP.Service.get("preview", request =>
       for {
-        query <- Library.try_unprefix(request.query, request.uri_name).map(Url.decode)
+        query <- request.decode_query
         name = Library.perhaps_unprefix(plain_text_prefix, query)
         model <- get(PIDE.resources.node_name(name))
       }