editor.jade 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146
  1. extends ../layout
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressDefaultJs = true
  6. - var suppressSystemMessages = true
  7. block content
  8. .editor(ng-controller="IdeController").full-size
  9. .loading-screen(ng-show="state.loading")
  10. .container
  11. h3 #{translate("loading")}...
  12. .progress
  13. .progress-bar(style="width: 20%", ng-style="{'width': state.load_progress + '%'}")
  14. p.text-center.text-danger(ng-if="state.error").ng-cloak
  15. span(ng-bind-html="state.error")
  16. .global-alerts(ng-cloak)
  17. .alert.alert-danger.small(ng-if="connection.forced_disconnect")
  18. strong #{translate("disconnected")}
  19. | #{translate("please_refresh")}
  20. .alert.alert-warning.small(ng-if="connection.reconnection_countdown")
  21. strong #{translate("lost_connection")}.
  22. | #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
  23. a#try-reconnect-now-button.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
  24. .alert.alert-warning.small(ng-if="connection.reconnecting")
  25. strong #{translate("reconnecting")}...
  26. .alert.alert-warning.small(ng-if="connection.inactive_disconnect")
  27. strong #{translate("editor_disconected_click_to_reconnect")}
  28. .div(ng-controller="SavingNotificationController")
  29. .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 }}"})}
  30. include ./editor/left-menu
  31. #chat-wrapper(
  32. layout="chat",
  33. spacing-open="12",
  34. spacing-closed="0",
  35. initial-size-east="250",
  36. init-closed-east="true",
  37. open-east="ui.chatOpen",
  38. ng-hide="state.loading",
  39. ng-cloak
  40. )
  41. .ui-layout-center
  42. include ./editor/header
  43. include ./editor/share
  44. #ide-body(
  45. ng-cloak,
  46. layout="main",
  47. ng-hide="state.loading",
  48. resize-on="layout:chat:resize",
  49. minimum-restore-size-west="130"
  50. )
  51. .ui-layout-west
  52. include ./editor/file-tree
  53. .ui-layout-center
  54. include ./editor/editor
  55. include ./editor/binary-file
  56. include ./editor/track-changes
  57. include ./editor/publish-template
  58. .ui-layout-east
  59. include ./editor/chat
  60. include ./editor/hotkeys
  61. script(type="text/ng-template", id="genericMessageModalTemplate")
  62. .modal-header
  63. button.close(
  64. type="button"
  65. data-dismiss="modal"
  66. ng-click="done()"
  67. ) ×
  68. h3 {{ title }}
  69. .modal-body(ng-bind-html="message")
  70. .modal-footer
  71. button.btn.btn-info(ng-click="done()") #{translate("ok")}
  72. script(src='/socket.io/socket.io.js')
  73. //- We need to do .replace(/\//g, '\\/') do that '</script>' -> '<\/script>'
  74. //- and doesn't prematurely end the script tag.
  75. script(type='text/javascript').
  76. window.project_id = "!{project_id}";
  77. window.userSettings = !{JSON.stringify(userSettings).replace(/\//g, '\\/')};
  78. window.user = !{JSON.stringify(user).replace(/\//g, '\\/')};
  79. window.csrfToken = "!{csrfToken}";
  80. window.anonymous = #{anonymous};
  81. window.maxDocLength = #{maxDocLength};
  82. window.wikiEnabled = #{!!(settings.apis.wiki && settings.apis.wiki.url)};
  83. window.requirejs = {
  84. "paths" : {
  85. "mathjax": "#{buildJsPath('/libs/mathjax/MathJax.js', {qs:{config:'TeX-AMS_HTML', fingerprint:false}})}",
  86. "moment": "libs/moment-2.7.0",
  87. "libs/pdf": "libs/pdfjs-1.3.91/pdf"
  88. },
  89. "urlArgs" : "fingerprint=#{fingerprint(jsPath + 'ide.js')}-#{fingerprint(jsPath + 'libs.js')}",
  90. "waitSeconds": 0,
  91. "shim": {
  92. "libs/pdf": {
  93. deps: ["libs/pdfjs-1.3.91/compatibility"]
  94. },
  95. "ace/ext-searchbox": {
  96. deps: ["ace/ace"]
  97. },
  98. "ace/ext-language_tools": {
  99. deps: ["ace/ace"]
  100. }
  101. },
  102. config:{
  103. moment:{
  104. noGlobal: true
  105. }
  106. }
  107. };
  108. window.aceFingerprint = "#{fingerprint(jsPath + 'ace/ace.js')}"
  109. - locals.suppressDefaultJs = true
  110. - var pdfPath = 'libs/pdfjs-1.3.91/pdf.worker.js'
  111. - var fingerprintedPath = fingerprint(jsPath+pdfPath)
  112. - var pdfJsWorkerPath = buildJsPath(pdfPath, {fingerprint:fingerprintedPath})
  113. script(type='text/javascript').
  114. window.pdfJsWorkerPath = "#{pdfJsWorkerPath}";
  115. script(
  116. data-main=buildJsPath("ide.js"),
  117. baseurl=fullJsPath,
  118. data-ace-base=buildJsPath('ace', {fingerprint:false}),
  119. src=buildJsPath('libs/require.js')
  120. )