editor.pug 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188
  1. extends ../layout
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressSystemMessages = true
  6. - metadata.robotsNoindexNofollow = true
  7. block content
  8. .editor(ng-controller="IdeController").full-size
  9. .loading-screen(ng-if="state.loading")
  10. .loading-screen-brand-container
  11. .loading-screen-brand(
  12. style="height: 20%;"
  13. ng-style="{ 'height': state.load_progress + '%' }"
  14. )
  15. h3.loading-screen-label(ng-if="!state.error") #{translate("loading")}
  16. span.loading-screen-ellip .
  17. span.loading-screen-ellip .
  18. span.loading-screen-ellip .
  19. p.loading-screen-error(ng-if="state.error").ng-cloak
  20. span(ng-bind-html="state.error")
  21. .global-alerts(ng-cloak)
  22. .alert.alert-danger.small(ng-if="connection.forced_disconnect")
  23. strong #{translate("disconnected")}
  24. | #{translate("please_refresh")}
  25. .alert.alert-warning.small(ng-if="connection.reconnection_countdown")
  26. strong #{translate("lost_connection")}.
  27. | #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
  28. a#try-reconnect-now-button.alert-link-as-btn.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
  29. .alert.alert-warning.small(ng-if="connection.reconnecting")
  30. strong #{translate("reconnecting")}...
  31. .alert.alert-warning.small(ng-if="connection.inactive_disconnect")
  32. strong #{translate("editor_disconected_click_to_reconnect")}
  33. .div(ng-controller="SavingNotificationController")
  34. .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 }}"})}
  35. include ./editor/left-menu
  36. #chat-wrapper.full-size(
  37. layout="chat",
  38. spacing-open="{{ui.chatResizerSizeOpen}}",
  39. spacing-closed="{{ui.chatResizerSizeClosed}}",
  40. initial-size-east="250",
  41. init-closed-east="true",
  42. open-east="ui.chatOpen",
  43. ng-hide="state.loading",
  44. ng-cloak
  45. )
  46. .ui-layout-center
  47. include ./editor/header
  48. include ./editor/share
  49. != moduleIncludes("publish:body", locals)
  50. include ./editor/history/toolbarV2.pug
  51. main#ide-body(
  52. ng-cloak,
  53. role="main",
  54. ng-class="{ 'ide-history-open' : (ui.view == 'history' && history.isV2) }",
  55. layout="main",
  56. ng-hide="state.loading",
  57. resize-on="layout:chat:resize,history:toggle",
  58. minimum-restore-size-west="130"
  59. custom-toggler-pane=hasFeature('custom-togglers') ? "west" : false
  60. custom-toggler-msg-when-open=hasFeature('custom-togglers') ? translate("tooltip_hide_filetree") : false
  61. custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? translate("tooltip_show_filetree") : false
  62. )
  63. .ui-layout-west
  64. include ./editor/file-tree
  65. include ./editor/history/fileTreeV2
  66. .ui-layout-center
  67. include ./editor/editor
  68. include ./editor/binary-file
  69. include ./editor/history
  70. .ui-layout-east
  71. include ./editor/chat
  72. include ./editor/hotkeys
  73. script(type="text/ng-template", id="genericMessageModalTemplate")
  74. .modal-header
  75. button.close(
  76. type="button"
  77. data-dismiss="modal"
  78. ng-click="done()"
  79. ) ×
  80. h3 {{ title }}
  81. .modal-body(ng-bind-html="message")
  82. .modal-footer
  83. button.btn.btn-info(ng-click="done()") #{translate("ok")}
  84. script(type="text/ng-template", id="lockEditorModalTemplate")
  85. .modal-header
  86. h3 {{ title }}
  87. .modal-body(ng-bind-html="message")
  88. script(src=mathJaxPath)
  89. block requirejs
  90. script(type="text/javascript" src='/socket.io/socket.io.js')
  91. //- don't use cdn for workers
  92. - var aceWorkerPath = buildJsPath(lib('ace'), {cdn:false})
  93. - var pdfWorkerPath = buildJsPath('/libs/' + lib('pdfjs') + '/pdf.worker', {cdn:false})
  94. - var pdfCMapsPath = buildJsPath('/libs/' + lib('pdfjs') + '/bcmaps/', {cdn:false})
  95. //- We need to do .replace(/\//g, '\\/') do that '</script>' -> '<\/script>'
  96. //- and doesn't prematurely end the script tag.
  97. script#data(type="application/json").
  98. !{JSON.stringify({userSettings: userSettings, user: user, trackChangesState: trackChangesState, useV2History: useV2History, enabledLinkedFileTypes: settings.enabledLinkedFileTypes, brandVariation: brandVariation}).replace(/\//g, '\\/')}
  99. script(type="text/javascript").
  100. window.data = JSON.parse($("#data").text());
  101. script(type='text/javascript').
  102. window.project_id = "!{project_id}";
  103. var data = JSON.parse($("#data").text());
  104. window.userSettings = data.userSettings;
  105. window.user = data.user;
  106. window.enabledLinkedFiles = data.enabledLinkedFiles;
  107. window.csrfToken = "!{csrfToken}";
  108. window.anonymous = #{anonymous};
  109. window.brandVariation = data.brandVariation;
  110. window.anonymousAccessToken = "#{anonymousAccessToken}";
  111. window.isTokenMember = #{!!isTokenMember};
  112. window.maxDocLength = #{maxDocLength};
  113. window.trackChangesState = data.trackChangesState;
  114. window.wikiEnabled = #{!!(settings.apis.wiki && settings.apis.wiki.url)};
  115. window.richTextEnabled = #{richTextEnabled}
  116. window.gitBridgePublicBaseUrl = '#{gitBridgePublicBaseUrl}'
  117. window.requirejs = {
  118. "paths" : {
  119. "moment": "libs/#{lib('moment')}",
  120. "pdfjs-dist/build/pdf": "libs/#{lib('pdfjs')}/pdf",
  121. "pdfjs-dist/build/pdf.worker": "#{pdfWorkerPath}",
  122. "ace": "#{lib('ace')}",
  123. "fineuploader": "libs/#{lib('fineuploader')}",
  124. "ide": "#{buildJsPath('ide.js', {hashedPath:settings.useMinifiedJs, removeExtension:true})}",
  125. "libraries": "#{buildJsPath('libraries.js', {hashedPath:settings.useMinifiedJs, removeExtension:true})}",
  126. !{moduleIncludes("editor:script", locals)}
  127. !{moduleIncludes("publish:script", locals)}
  128. },
  129. "waitSeconds": 0,
  130. "shim": {
  131. "pdfjs-dist/build/pdf": {
  132. "deps": ["libs/#{lib('pdfjs')}/compatibility"]
  133. },
  134. "ace/ext-searchbox": {
  135. "deps": ["ace/ace"]
  136. },
  137. "ace/ext-modelist": {
  138. "deps": ["ace/ace"]
  139. },
  140. "ace/ext-language_tools": {
  141. "deps": ["ace/ace"]
  142. },
  143. "ace/keybinding-vim": {
  144. "deps": ["ace/ace"]
  145. },
  146. },
  147. "config":{
  148. "moment":{
  149. "noGlobal": true
  150. }
  151. }
  152. };
  153. window.aceWorkerPath = "#{aceWorkerPath}";
  154. window.pdfCMapsPath = "#{pdfCMapsPath}"
  155. window.uiConfig = JSON.parse('!{JSON.stringify(uiConfig).replace(/\//g, "\\/")}');
  156. - if (settings.overleaf != null)
  157. script(type='text/javascript').
  158. window.overallThemes = JSON.parse('!{JSON.stringify(overallThemes).replace(/\//g, "\\/")}');
  159. script(
  160. data-main=buildJsPath("ide.js", {hashedPath:false}),
  161. baseurl=fullJsPath,
  162. data-ace-base=buildJsPath(lib('ace')),
  163. src=buildJsPath('libs/require.js', {hashedPath:true})
  164. )