Add init.js source pragma

This commit is contained in:
Adrian Vollmer 2022-10-03 16:04:21 +02:00
parent b01c034420
commit c723a8bc52

View File

@ -75,7 +75,7 @@ def embed_assets(index_file):
<body>{body} <body>{body}
<script>window.global_context = {global_context}</script> <script>window.global_context = {global_context}</script>
<script>{pako} //# sourceURL=pako.js</script> <script>{pako} //# sourceURL=pako.js</script>
<script>{init_js}</script> <script>{init_js} //# sourceURL=init.js</script>
</body></html> </body></html>
""".format( """.format(
style=init_files['init.css'], style=init_files['init.css'],