editor.pug 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201
  1. extends ../layout
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressSkipToContent = true
  6. - metadata.robotsNoindexNofollow = true
  7. block css
  8. each file in entrypointStyles('ide')
  9. link(rel='stylesheet', href=file)
  10. block content
  11. .editor(ng-controller="IdeController").full-size
  12. //- required by react2angular-shared-context, must be rendered as a top level component
  13. shared-context-react()
  14. .loading-screen(ng-if="state.loading")
  15. .loading-screen-brand-container
  16. .loading-screen-brand(
  17. style="height: 20%;"
  18. ng-style="{ 'height': state.load_progress + '%' }"
  19. )
  20. h3.loading-screen-label(ng-if="!state.error") #{translate("loading")}
  21. span.loading-screen-ellip .
  22. span.loading-screen-ellip .
  23. span.loading-screen-ellip .
  24. p.loading-screen-error(ng-if="state.error").ng-cloak
  25. span(ng-bind-html="state.error")
  26. .global-alerts(ng-cloak ng-hide="editor.error_state")
  27. .alert.alert-danger.small(ng-if="connection.forced_disconnect")
  28. strong #{translate("disconnected")}
  29. .alert.alert-warning.small(ng-if="connection.reconnection_countdown")
  30. strong #{translate("lost_connection")}.
  31. | #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
  32. a#try-reconnect-now-button.alert-link-as-btn.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
  33. .alert.alert-warning.small(ng-if="connection.reconnecting && connection.stillReconnecting")
  34. strong #{translate("reconnecting")}…
  35. .alert.alert-warning.small(ng-if="sync_tex_error")
  36. strong #{translate("synctex_failed")}.
  37. a#synctex-more-info-button.alert-link-as-btn.pull-right(
  38. href="/learn/how-to/SyncTeX_Errors"
  39. target="_blank"
  40. ) #{translate("more_info")}
  41. .alert.alert-warning.small(ng-if="connection.inactive_disconnect")
  42. strong #{translate("editor_disconected_click_to_reconnect")}
  43. .alert.alert-warning.small(ng-if="connection.debug") {{ connection.state }}
  44. .div(ng-controller="SavingNotificationController")
  45. .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 }}"})}
  46. .div(ng-controller="SystemMessagesController")
  47. .alert.alert-warning.system-message(
  48. ng-repeat="message in messages"
  49. ng-controller="SystemMessageController"
  50. ng-hide="hidden"
  51. )
  52. button(ng-hide="protected",ng-click="hide()").close.pull-right
  53. span(aria-hidden="true") ×
  54. span.sr-only #{translate("close")}
  55. .system-message-content(ng-bind-html="htmlContent")
  56. include ./editor/left-menu
  57. #chat-wrapper.full-size(
  58. layout="chat",
  59. spacing-open="{{ui.chatResizerSizeOpen}}",
  60. spacing-closed="{{ui.chatResizerSizeClosed}}",
  61. initial-size-east="250",
  62. init-closed-east="true",
  63. open-east="ui.chatOpen",
  64. ng-hide="state.loading",
  65. ng-cloak
  66. )
  67. .ui-layout-center
  68. include ./editor/header-react
  69. include ./editor/history/toolbarV2.pug
  70. main#ide-body(
  71. ng-cloak,
  72. role="main",
  73. ng-class="{ 'ide-history-open' : (ui.view == 'history' && history.isV2) }",
  74. layout="main",
  75. ng-hide="state.loading",
  76. resize-on="layout:chat:resize,history:toggle,layout:flat-screen:toggle,symbol-palette-toggled",
  77. minimum-restore-size-west="130"
  78. custom-toggler-pane=hasFeature('custom-togglers') ? "west" : false
  79. custom-toggler-msg-when-open=hasFeature('custom-togglers') ? translate("tooltip_hide_filetree") : false
  80. custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? translate("tooltip_show_filetree") : false
  81. ng-keydown="handleKeyDown($event)"
  82. tabindex="0"
  83. )
  84. .ui-layout-west
  85. include ./editor/file-tree-react
  86. include ./editor/file-tree-history
  87. include ./editor/history/fileTreeV2
  88. .ui-layout-center
  89. include ./editor/editor
  90. include ./editor/file-view
  91. include ./editor/history
  92. if !isRestrictedTokenMember
  93. .ui-layout-east
  94. aside.chat
  95. chat()
  96. script(type="text/ng-template", id="genericMessageModalTemplate")
  97. .modal-header
  98. button.close(
  99. type="button"
  100. data-dismiss="modal"
  101. ng-click="done()"
  102. aria-label="Close"
  103. )
  104. span(aria-hidden="true") ×
  105. h3 {{ title }}
  106. .modal-body(ng-bind-html="message")
  107. .modal-footer
  108. button.btn.btn-info(ng-click="done()") #{translate("ok")}
  109. script(type="text/ng-template", id="outOfSyncModalTemplate")
  110. .modal-header
  111. button.close(
  112. type="button"
  113. data-dismiss="modal"
  114. ng-click="done()"
  115. aria-label="Close"
  116. )
  117. span(aria-hidden="true") ×
  118. h3 {{ title }}
  119. .modal-body(ng-bind-html="message")
  120. .modal-body
  121. button.btn.btn-info(
  122. ng-init="showFileContents = false"
  123. ng-click="showFileContents = !showFileContents"
  124. )
  125. | {{showFileContents ? "Hide" : "Show"}} Local File Contents
  126. .text-preview(ng-show="showFileContents")
  127. textarea.scroll-container(readonly="readonly" rows="{{editorContentRows}}")
  128. | {{editorContent}}
  129. .modal-footer
  130. button.btn.btn-info(ng-click="done()") #{translate("reload_editor")}
  131. script(type="text/ng-template", id="lockEditorModalTemplate")
  132. .modal-header
  133. h3 {{ title }}
  134. .modal-body(ng-bind-html="message")
  135. block append meta
  136. meta(name="ol-useV2History" data-type="boolean" content=useV2History)
  137. meta(name="ol-project_id" content=project_id)
  138. meta(name="ol-userSettings" data-type="json" content=userSettings)
  139. meta(name="ol-user" data-type="json" content=user)
  140. meta(name="ol-anonymous" data-type="boolean" content=anonymous)
  141. meta(name="ol-brandVariation" data-type="json" content=brandVariation)
  142. meta(name="ol-anonymousAccessToken" content=anonymousAccessToken)
  143. meta(name="ol-isTokenMember" data-type="boolean" content=isTokenMember)
  144. meta(name="ol-isRestrictedTokenMember" data-type="boolean" content=isRestrictedTokenMember)
  145. meta(name="ol-maxDocLength" data-type="json" content=maxDocLength)
  146. meta(name="ol-wikiEnabled" data-type="boolean" content=!!(settings.apis.wiki && settings.apis.wiki.url))
  147. meta(name="ol-gitBridgePublicBaseUrl" content=gitBridgePublicBaseUrl)
  148. //- Set base path for Ace scripts loaded on demand/workers and don't use cdn
  149. meta(name="ol-aceBasePath" content="/js/" + lib('ace'))
  150. //- Set path for PDFjs CMaps and images
  151. meta(name="ol-pdfCMapsPath" content="/js/cmaps/")
  152. meta(name="ol-pdfImageResourcesPath" content="/images/")
  153. //- enable doc hash checking for all projects
  154. //- used in public/js/libs/sharejs.js
  155. meta(name="ol-useShareJsHash" data-type="boolean" content=true)
  156. meta(name="ol-wsRetryHandshake" data-type="json" content=settings.wsRetryHandshake)
  157. meta(name="ol-showNewLogsUI" data-type="boolean" content=showNewLogsUI)
  158. meta(name="ol-logsUISubvariant" content=logsUISubvariant)
  159. meta(name="ol-showSymbolPalette" data-type="boolean" content=showSymbolPalette)
  160. meta(name="ol-showPdfDetach" data-type="boolean" content=showPdfDetach)
  161. meta(name="ol-showNewPdfPreview" data-type="boolean" content=showNewPdfPreview)
  162. meta(name="ol-enablePdfCaching" data-type="boolean" content=enablePdfCaching)
  163. meta(name="ol-trackPdfDownload" data-type="boolean" content=trackPdfDownload)
  164. meta(name="ol-resetServiceWorker" data-type="boolean" content=resetServiceWorker)
  165. - var fileActionI18n = ['edited', 'renamed', 'created', 'deleted'].reduce((acc, i) => {acc[i] = translate('file_action_' + i); return acc}, {})
  166. meta(name="ol-fileActionI18n" data-type="json" content=fileActionI18n)
  167. if (settings.overleaf != null)
  168. meta(name="ol-overallThemes" data-type="json" content=overallThemes)
  169. block foot-scripts
  170. script(type="text/javascript", nonce=scriptNonce, src=(wsUrl || '/socket.io') + '/socket.io.js')
  171. script(type="text/javascript", nonce=scriptNonce, src=mathJaxPath)
  172. each file in entrypointScripts("ide")
  173. script(type="text/javascript", nonce=scriptNonce, src=file)