ide-react.pug 1.0 KB

1234567891011121314151617181920212223242526272829303132
  1. extends ../layout-react
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressSkipToContent = true
  6. - var deferScripts = true
  7. - bootstrap5PageStatus = 'enabled' // One of 'disabled', 'enabled', and 'queryStringOnly'
  8. - bootstrap5PageSplitTest = 'bootstrap-5-ide'
  9. - metadata.robotsNoindexNofollow = true
  10. - enableIeeeBranding = false
  11. block entrypointVar
  12. - entrypoint = 'pages/ide'
  13. block content
  14. main#ide-root
  15. .loading-screen
  16. .loading-screen-brand-container
  17. .loading-screen-brand(style="height: 20%;")
  18. h3.loading-screen-label #{translate("loading")}
  19. span.loading-screen-ellip .
  20. span.loading-screen-ellip .
  21. span.loading-screen-ellip .
  22. block append meta
  23. include editor/_meta
  24. block prepend foot-scripts
  25. each file in (useOpenTelemetry ? entrypointScripts("tracing") : [])
  26. script(type="text/javascript", nonce=scriptNonce, src=file, defer=deferScripts)
  27. script(type="text/javascript", nonce=scriptNonce, src=(wsUrl || '/socket.io') + '/socket.io.js', defer=deferScripts)