editor.pug 6.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  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="sync_tex_error")
  32. strong #{translate("synctex_failed")}.
  33. a#synctex-more-info-button.alert-link-as-btn.pull-right(
  34. href="/learn/how-to/SyncTeX_Errors"
  35. target="_blank"
  36. ) #{translate("more_info")}
  37. .alert.alert-warning.small(ng-if="connection.inactive_disconnect")
  38. strong #{translate("editor_disconected_click_to_reconnect")}
  39. .div(ng-controller="SavingNotificationController")
  40. .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 }}"})}
  41. include ./editor/left-menu
  42. #chat-wrapper.full-size(
  43. layout="chat",
  44. spacing-open="{{ui.chatResizerSizeOpen}}",
  45. spacing-closed="{{ui.chatResizerSizeClosed}}",
  46. initial-size-east="250",
  47. init-closed-east="true",
  48. open-east="ui.chatOpen",
  49. ng-hide="state.loading",
  50. ng-cloak
  51. )
  52. .ui-layout-center
  53. include ./editor/header
  54. include ./editor/share
  55. != moduleIncludes("publish:body", locals)
  56. include ./editor/history/toolbarV2.pug
  57. main#ide-body(
  58. ng-cloak,
  59. role="main",
  60. ng-class="{ 'ide-history-open' : (ui.view == 'history' && history.isV2) }",
  61. layout="main",
  62. ng-hide="state.loading",
  63. resize-on="layout:chat:resize,history:toggle",
  64. minimum-restore-size-west="130"
  65. custom-toggler-pane=hasFeature('custom-togglers') ? "west" : false
  66. custom-toggler-msg-when-open=hasFeature('custom-togglers') ? translate("tooltip_hide_filetree") : false
  67. custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? translate("tooltip_show_filetree") : false
  68. )
  69. .ui-layout-west
  70. include ./editor/file-tree
  71. include ./editor/history/fileTreeV2
  72. .ui-layout-center
  73. include ./editor/editor
  74. include ./editor/binary-file
  75. include ./editor/history
  76. .ui-layout-east
  77. include ./editor/chat
  78. include ./editor/hotkeys
  79. script(type="text/ng-template", id="genericMessageModalTemplate")
  80. .modal-header
  81. button.close(
  82. type="button"
  83. data-dismiss="modal"
  84. ng-click="done()"
  85. ) ×
  86. h3 {{ title }}
  87. .modal-body(ng-bind-html="message")
  88. .modal-footer
  89. button.btn.btn-info(ng-click="done()") #{translate("ok")}
  90. script(type="text/ng-template", id="lockEditorModalTemplate")
  91. .modal-header
  92. h3 {{ title }}
  93. .modal-body(ng-bind-html="message")
  94. script(src=mathJaxPath)
  95. block requirejs
  96. script(type="text/javascript" src='/socket.io/socket.io.js')
  97. //- don't use cdn for workers
  98. - var aceWorkerPath = buildJsPath(lib('ace'), {cdn:false})
  99. - var pdfWorkerPath = buildJsPath('/libs/' + lib('pdfjs') + '/pdf.worker', {cdn:false})
  100. - var pdfCMapsPath = buildJsPath('/libs/' + lib('pdfjs') + '/bcmaps/', {cdn:false})
  101. //- We need to do .replace(/\//g, '\\/') do that '</script>' -> '<\/script>'
  102. //- and doesn't prematurely end the script tag.
  103. script#data(type="application/json").
  104. !{StringHelper.stringifyJsonForScript({ userSettings: userSettings, user: user, trackChangesState: trackChangesState, useV2History: useV2History, enabledLinkedFileTypes: settings.enabledLinkedFileTypes, brandVariation: brandVariation })}
  105. script(type="text/javascript").
  106. window.data = JSON.parse($("#data").text());
  107. script(type='text/javascript').
  108. window.project_id = "!{project_id}";
  109. var data = JSON.parse($("#data").text());
  110. window.userSettings = data.userSettings;
  111. window.user = data.user;
  112. window.enabledLinkedFiles = data.enabledLinkedFiles;
  113. window.csrfToken = "!{csrfToken}";
  114. window.anonymous = #{anonymous};
  115. window.brandVariation = data.brandVariation;
  116. window.anonymousAccessToken = "#{anonymousAccessToken}";
  117. window.isTokenMember = #{!!isTokenMember};
  118. window.maxDocLength = #{maxDocLength};
  119. window.trackChangesState = data.trackChangesState;
  120. window.wikiEnabled = #{!!(settings.apis.wiki && settings.apis.wiki.url)};
  121. window.gitBridgePublicBaseUrl = '#{gitBridgePublicBaseUrl}'
  122. window.requirejs = {
  123. "paths" : {
  124. "moment": "libs/#{lib('moment')}",
  125. "pdfjs-dist/build/pdf": "libs/#{lib('pdfjs')}/pdf",
  126. "pdfjs-dist/build/pdf.worker": "#{pdfWorkerPath}",
  127. "ace": "#{lib('ace')}",
  128. "fineuploader": "libs/#{lib('fineuploader')}",
  129. "ide": "#{buildJsPath('ide.js', {hashedPath:settings.useMinifiedJs, removeExtension:true})}",
  130. "libraries": "#{buildJsPath('libraries.js', {hashedPath:settings.useMinifiedJs, removeExtension:true})}",
  131. !{moduleIncludes("editor:script", locals)}
  132. !{moduleIncludes("publish:script", locals)}
  133. },
  134. "waitSeconds": 0,
  135. "shim": {
  136. "ace/ext-searchbox": {
  137. "deps": ["ace/ace"]
  138. },
  139. "ace/ext-modelist": {
  140. "deps": ["ace/ace"]
  141. },
  142. "ace/ext-language_tools": {
  143. "deps": ["ace/ace"]
  144. },
  145. "ace/keybinding-vim": {
  146. "deps": ["ace/ace"]
  147. },
  148. "libs/jquery.ui.touch-punch": {
  149. "deps": [ "libs/#{lib('jquery-layout')}" ]
  150. }
  151. },
  152. "config":{
  153. "moment":{
  154. "noGlobal": true
  155. }
  156. }
  157. };
  158. window.aceWorkerPath = "#{aceWorkerPath}";
  159. window.pdfCMapsPath = "#{pdfCMapsPath}"
  160. window.uiConfig = JSON.parse('!{StringHelper.stringifyJsonForScript(uiConfig)}');
  161. //- enable doc hash checking for all projects
  162. //- used in public/js/libs/sharejs.js
  163. window.useShareJsHash = true
  164. - if (settings.overleaf != null)
  165. script(type='text/javascript').
  166. window.overallThemes = JSON.parse('!{StringHelper.stringifyJsonForScript(overallThemes)}');
  167. script(
  168. data-main=buildJsPath("ide.js", {hashedPath:false}),
  169. baseurl=fullJsPath,
  170. data-ace-base=buildJsPath(lib('ace')),
  171. src=buildJsPath('libs/require.js', {hashedPath:true})
  172. )