editor.pug 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  1. extends ../layout
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressSkipToContent = true
  6. - var suppressCookieBanner = true
  7. - metadata.robotsNoindexNofollow = true
  8. block css
  9. each file in entrypointStyles('ide')
  10. link(rel='stylesheet', href=file)
  11. block content
  12. .editor(ng-controller="IdeController").full-size
  13. //- required by react2angular-shared-context, must be rendered as a top level component
  14. shared-context-react()
  15. .loading-screen(ng-if="state.loading")
  16. .loading-screen-brand-container
  17. .loading-screen-brand(
  18. style="height: 20%;"
  19. ng-style="{ 'height': state.load_progress + '%' }"
  20. )
  21. h3.loading-screen-label(ng-if="!state.error") #{translate("loading")}
  22. span.loading-screen-ellip .
  23. span.loading-screen-ellip .
  24. span.loading-screen-ellip .
  25. p.loading-screen-error(ng-if="state.error").ng-cloak
  26. span(ng-bind-html="state.error")
  27. .global-alerts(ng-cloak ng-hide="editor.error_state")
  28. .alert.alert-danger.small(ng-if="connection.forced_disconnect")
  29. strong #{translate("disconnected")}
  30. .alert.alert-warning.small(ng-if="connection.reconnection_countdown")
  31. strong #{translate("lost_connection")}.
  32. | #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
  33. a#try-reconnect-now-button.alert-link-as-btn.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
  34. .alert.alert-warning.small(ng-if="connection.reconnecting && connection.stillReconnecting")
  35. strong #{translate("reconnecting")}…
  36. .alert.alert-warning.small(ng-if="sync_tex_error")
  37. strong #{translate("synctex_failed")}.
  38. a#synctex-more-info-button.alert-link-as-btn.pull-right(
  39. href="/learn/how-to/SyncTeX_Errors"
  40. target="_blank"
  41. ) #{translate("more_info")}
  42. .alert.alert-warning.small(ng-if="connection.inactive_disconnect")
  43. strong #{translate("editor_disconected_click_to_reconnect")}
  44. .alert.alert-warning.small(ng-if="connection.debug") {{ connection.state }}
  45. .div(ng-controller="SavingNotificationController")
  46. .alert.alert-warning.small(ng-repeat="(doc_id, state) in docSavingStatus" ng-if="state.unsavedSeconds > 8") #{translate("saving_notification_with_seconds", {docname:"{{ state.doc.name }}", seconds:"{{ state.unsavedSeconds }}"})}
  47. .div(ng-controller="SystemMessagesController")
  48. .alert.alert-warning.system-message(
  49. ng-repeat="message in messages"
  50. ng-controller="SystemMessageController"
  51. ng-hide="hidden"
  52. )
  53. button(ng-hide="protected",ng-click="hide()").close.pull-right
  54. span(aria-hidden="true") ×
  55. span.sr-only #{translate("close")}
  56. .system-message-content
  57. | {{htmlContent}}
  58. grammarly-warning(delay=10000)
  59. if hasFeature('saas')
  60. legacy-editor-warning(delay=10000)
  61. include ./editor/main
  62. script(type="text/ng-template", id="genericMessageModalTemplate")
  63. .modal-header
  64. button.close(
  65. type="button"
  66. data-dismiss="modal"
  67. ng-click="done()"
  68. aria-label="Close"
  69. )
  70. span(aria-hidden="true") ×
  71. h3 {{ title }}
  72. .modal-body(ng-bind-html="message")
  73. .modal-footer
  74. button.btn.btn-info(ng-click="done()") #{translate("ok")}
  75. script(type="text/ng-template", id="outOfSyncModalTemplate")
  76. .modal-header
  77. button.close(
  78. type="button"
  79. data-dismiss="modal"
  80. ng-click="done()"
  81. aria-label="Close"
  82. )
  83. span(aria-hidden="true") ×
  84. h3 {{ title }}
  85. .modal-body(ng-bind-html="message")
  86. .modal-body
  87. button.btn.btn-info(
  88. ng-init="showFileContents = false"
  89. ng-click="showFileContents = !showFileContents"
  90. )
  91. | {{showFileContents ? "Hide" : "Show"}} Local File Contents
  92. .text-preview(ng-show="showFileContents")
  93. textarea.scroll-container(readonly="readonly" rows="{{editorContentRows}}")
  94. | {{editorContent}}
  95. .modal-footer
  96. button.btn.btn-info(ng-click="done()") #{translate("reload_editor")}
  97. script(type="text/ng-template", id="lockEditorModalTemplate")
  98. .modal-header
  99. h3 {{ title }}
  100. .modal-body(ng-bind-html="message")
  101. block append meta
  102. include ./editor/meta
  103. block foot-scripts
  104. each file in (useOpenTelemetry ? entrypointScripts("tracing") : [])
  105. script(type="text/javascript", nonce=scriptNonce, src=file)
  106. script(type="text/javascript", nonce=scriptNonce, src=(wsUrl || '/socket.io') + '/socket.io.js')
  107. if (richTextVariant !== 'cm6')
  108. script(type="text/javascript", nonce=scriptNonce, src=mathJaxPath)
  109. each file in entrypointScripts("ide")
  110. script(type="text/javascript", nonce=scriptNonce, src=file)