ide-react.pug 745 B

123456789101112131415161718192021222324252627282930313233
  1. extends ../layout-react
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressSkipToContent = true
  6. - var deferScripts = true
  7. - metadata.robotsNoindexNofollow = true
  8. - enableIeeeBranding = false
  9. block entrypointVar
  10. - entrypoint = 'pages/ide'
  11. block content
  12. #ide-root
  13. .loading-screen
  14. .loading-screen-brand-container
  15. .loading-screen-brand(style='height: 20%')
  16. h3.loading-screen-label #{translate("loading")}
  17. span.loading-screen-ellip .
  18. span.loading-screen-ellip .
  19. span.loading-screen-ellip .
  20. block append meta
  21. include editor/_meta
  22. block prepend foot-scripts
  23. script(
  24. type='text/javascript'
  25. nonce=scriptNonce
  26. src=(wsUrl || '/socket.io') + '/socket.io.js'
  27. defer=deferScripts
  28. )