editor.jade 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137
  1. extends ../layout
  2. block vars
  3. - var suppressNavbar = true
  4. - var suppressFooter = true
  5. - var suppressDefaultJs = true
  6. block content
  7. .editor(ng-controller="IdeController")
  8. .loading-screen(ng-show="state.loading")
  9. .container
  10. h3 Loading...
  11. .progress
  12. .progress-bar(ng-style="{'width': state.load_progress + '%'}")
  13. .global-alerts(ng-cloak)
  14. .alert.alert-danger.small(ng-if="connection.forced_disconnect")
  15. strong Disconnected
  16. | Please refresh the page to continue.
  17. .alert.alert-warning.small(ng-if="connection.reconnection_countdown")
  18. strong Lost Connection.
  19. | Reconnecting in {{ connection.reconnection_countdown }} secs.
  20. a.pull-right(href, ng-click="tryReconnectNow()") Try Now
  21. .alert.alert-warning.small(ng-if="connection.reconnecting")
  22. strong Reconnecting...
  23. .div(ng-controller="SavingNotificationController")
  24. .alert.alert-warning.small(
  25. ng-repeat="(doc_id, state) in docSavingStatus"
  26. ng-if="state.unsavedSeconds > 3"
  27. )
  28. | Saving {{ state.doc.name }}... ({{ state.unsavedSeconds }} seconds of unsaved changes)
  29. include ./editor/left-menu
  30. #chat-wrapper(
  31. layout="chat",
  32. spacing-open="12",
  33. spacing-closed="0",
  34. initial-size-east="250",
  35. init-closed-east="true",
  36. open-east="ui.chatOpen",
  37. ng-hide="state.loading",
  38. ng-cloak
  39. )
  40. .ui-layout-center
  41. include ./editor/header
  42. include ./editor/share
  43. #ide-body(ng-cloak, layout="main", ng-hide="state.loading", resize-on="layout:chat:resize")
  44. .ui-layout-west
  45. include ./editor/file-tree
  46. .ui-layout-center
  47. include ./editor/editor
  48. include ./editor/binary-file
  49. include ./editor/track-changes
  50. .ui-layout-east
  51. include ./editor/chat
  52. script(type="text/ng-template", id="genericMessageModalTemplate")
  53. .modal-header
  54. button.close(
  55. type="button"
  56. data-dismiss="modal"
  57. ng-click="done()"
  58. ) ×
  59. h3 {{ title }}
  60. .modal-body {{ message }}
  61. .modal-footer
  62. button.btn.btn-info(ng-click="done()") OK
  63. script(src='/socket.io/socket.io.js')
  64. //- We need to do .replace(/\//g, '\\/') do that '</script>' -> '<\/script>'
  65. //- and doesn't prematurely end the script tag.
  66. script(type='text/javascript').
  67. window.project_id = "!{project_id}"
  68. window.sharelatex = !{JSON.stringify(sharelatex).replace(/\//g, '\\/')};
  69. window.userSettings = !{JSON.stringify(userSettings).replace(/\//g, '\\/')};
  70. window.user = !{JSON.stringify(user).replace(/\//g, '\\/')};
  71. window.csrfToken = "!{csrfToken}";
  72. window.requirejs = {
  73. "paths" : {
  74. "mathjax": "https://c328740.ssl.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=TeX-AMS_HTML",
  75. "moment": "libs/moment-2.7.0"
  76. },
  77. "urlArgs" : "fingerprint=#{fingerprint(jsPath + 'ide.js')}",
  78. "waitSeconds": 0,
  79. "shim": {
  80. "libs/pdfListView/PdfListView": {
  81. deps: ["libs/pdf"]
  82. },
  83. "libs/pdf": {
  84. deps: ["libs/compatibility"]
  85. }
  86. }
  87. };
  88. script(type='text/javascript').
  89. ga('send', 'event', 'editor-interaction', 'editor-opened')
  90. - locals.suppressDefaultJs = true
  91. - var fingerprintedPath = fingerprint(jsPath+'libs/pdf.worker.js')
  92. - var pdfJsWorkerPath = jsPath+'libs/pdf.worker.js?fingerprint='+fingerprintedPath
  93. script(type='text/javascript').
  94. window.sharelatex.pdfJsWorkerPath = "#{pdfJsWorkerPath}"
  95. script(
  96. data-main=jsPath+'ide.js',
  97. baseurl=jsPath,
  98. data-ace-base=jsPath+'ace',
  99. src=jsPath+'libs/require.js?fingerprint='+fingerprint(jsPath + 'libs/require.js')
  100. )
  101. - if (!anonymous)
  102. script(type="text/javascript").
  103. var chatReq = require.config({
  104. context: "chat",
  105. baseUrl: "#{chatUrl}/chat"
  106. });
  107. chatReq(["require", "chat"], function(require, Chat) {
  108. new Chat({
  109. room: {
  110. project_id: window.userSettings.project_id
  111. },
  112. url: "#{chatUrl}"
  113. })
  114. });