src/Tools/jEdit/src/document_model.scala
changeset 73774 c42144d9dde6
parent 73665 56c0a793cd8b
child 73959 7202e12cb324
--- a/src/Tools/jEdit/src/document_model.scala	Wed Mar 31 11:24:46 2021 +0200
+++ b/src/Tools/jEdit/src/document_model.scala	Wed Mar 31 12:02:52 2021 +0200
@@ -330,7 +330,7 @@
           HTTP.Response.html(document.content)
         })
 
-    List(HTTP.fonts(fonts_root), html)
+    List(HTTP.welcome(http_root), HTTP.fonts(fonts_root), html)
   }
 }