2014-02-12 05:23:40 -05:00
|
|
|
extends ../layout
|
|
|
|
|
2014-06-21 17:20:37 -04:00
|
|
|
block vars
|
|
|
|
- var suppressNavbar = true
|
|
|
|
- var suppressFooter = true
|
|
|
|
- var suppressDefaultJs = true
|
|
|
|
|
2014-02-12 05:23:40 -05:00
|
|
|
block content
|
2014-06-21 17:20:37 -04:00
|
|
|
.editor(ng-controller="IdeController")
|
|
|
|
.loading-screen(ng-show="state.loading")
|
|
|
|
.container
|
|
|
|
h3 Loading...
|
|
|
|
.progress
|
|
|
|
.progress-bar(ng-style="{'width': state.load_progress + '%'}")
|
|
|
|
|
2014-06-24 11:33:36 -04:00
|
|
|
.global-alerts(ng-cloak)
|
|
|
|
.alert.alert-danger.small(ng-if="connection.forced_disconnect")
|
|
|
|
strong Disconnected
|
|
|
|
| Please refresh the page to continue.
|
|
|
|
|
|
|
|
.alert.alert-warning.small(ng-if="connection.reconnection_countdown")
|
|
|
|
strong Lost Connection.
|
|
|
|
| Reconnecting in {{ connection.reconnection_countdown }} secs.
|
|
|
|
a.pull-right(href, ng-click="tryReconnectNow()") Try Now
|
|
|
|
|
|
|
|
.alert.alert-warning.small(ng-if="connection.reconnecting")
|
|
|
|
strong Reconnecting...
|
|
|
|
|
2014-07-02 12:41:07 -04:00
|
|
|
.div(ng-controller="SavingNotificationController")
|
|
|
|
.alert.alert-warning.small(
|
|
|
|
ng-repeat="(doc_id, state) in docSavingStatus"
|
|
|
|
ng-if="state.unsavedSeconds > 3"
|
|
|
|
)
|
|
|
|
| Saving {{ state.doc.name }}... ({{ state.unsavedSeconds }} seconds of unsaved changes)
|
|
|
|
|
|
|
|
|
2014-06-26 11:39:52 -04:00
|
|
|
include ./editor/left-menu
|
2014-06-25 08:51:02 -04:00
|
|
|
|
2014-07-02 08:23:04 -04:00
|
|
|
#chat-wrapper(
|
|
|
|
layout="chat",
|
|
|
|
spacing-open="12",
|
|
|
|
spacing-closed="0",
|
|
|
|
initial-size-east="250",
|
|
|
|
init-closed-east="true",
|
|
|
|
open-east="ui.chatOpen",
|
|
|
|
ng-hide="state.loading",
|
|
|
|
ng-cloak
|
|
|
|
)
|
|
|
|
.ui-layout-center
|
|
|
|
include ./editor/header
|
2014-06-21 17:20:37 -04:00
|
|
|
|
2014-07-02 08:23:04 -04:00
|
|
|
include ./editor/share
|
2014-07-01 09:12:28 -04:00
|
|
|
|
2014-07-02 08:23:04 -04:00
|
|
|
#ide-body(ng-cloak, layout="main", ng-hide="state.loading", resize-on="layout:chat:resize")
|
|
|
|
.ui-layout-west
|
|
|
|
include ./editor/file-tree
|
|
|
|
|
|
|
|
.ui-layout-center
|
|
|
|
include ./editor/editor
|
2014-07-03 12:05:50 -04:00
|
|
|
include ./editor/binary-file
|
2014-07-02 08:23:04 -04:00
|
|
|
include ./editor/track-changes
|
|
|
|
|
|
|
|
.ui-layout-east
|
2014-07-15 05:56:01 -04:00
|
|
|
//- include ./editor/chat
|
2014-06-22 15:08:56 -04:00
|
|
|
|
2014-07-02 12:04:29 -04:00
|
|
|
script(type="text/ng-template", id="genericMessageModalTemplate")
|
|
|
|
.modal-header
|
|
|
|
button.close(
|
|
|
|
type="button"
|
|
|
|
data-dismiss="modal"
|
|
|
|
ng-click="done()"
|
|
|
|
) ×
|
|
|
|
h3 {{ title }}
|
|
|
|
.modal-body {{ message }}
|
|
|
|
.modal-footer
|
|
|
|
button.btn.btn-info(ng-click="done()") OK
|
2014-06-21 17:20:37 -04:00
|
|
|
|
2014-02-12 05:23:40 -05:00
|
|
|
script(src='/socket.io/socket.io.js')
|
|
|
|
|
2014-07-09 06:17:16 -04:00
|
|
|
//- We need to do .replace(/\//g, '\\/') do that '</script>' -> '<\/script>'
|
2014-07-09 06:05:00 -04:00
|
|
|
//- and doesn't prematurely end the script tag.
|
2014-06-04 11:28:20 -04:00
|
|
|
script(type='text/javascript').
|
2014-06-21 17:20:37 -04:00
|
|
|
window.project_id = "!{project_id}"
|
2014-07-09 06:17:16 -04:00
|
|
|
window.sharelatex = !{JSON.stringify(sharelatex).replace(/\//g, '\\/')};
|
|
|
|
window.userSettings = !{JSON.stringify(userSettings).replace(/\//g, '\\/')};
|
|
|
|
window.user = !{JSON.stringify(user).replace(/\//g, '\\/')};
|
2014-02-12 05:23:40 -05:00
|
|
|
window.csrfToken = "!{csrfToken}";
|
|
|
|
window.requirejs = {
|
|
|
|
"paths" : {
|
2014-03-07 06:24:11 -05:00
|
|
|
"mathjax": "https://c328740.ssl.cf1.rackcdn.com/mathjax/latest/MathJax.js?config=TeX-AMS_HTML",
|
2014-07-08 07:01:32 -04:00
|
|
|
"moment": "libs/moment-2.7.0"
|
2014-02-12 05:23:40 -05:00
|
|
|
},
|
|
|
|
"urlArgs" : "fingerprint=#{fingerprint(jsPath + 'ide.js')}",
|
|
|
|
"waitSeconds": 0,
|
|
|
|
"shim": {
|
|
|
|
"libs/pdfListView/PdfListView": {
|
|
|
|
deps: ["libs/pdf"]
|
|
|
|
},
|
|
|
|
"libs/pdf": {
|
|
|
|
deps: ["libs/compatibility"]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-06-04 11:28:20 -04:00
|
|
|
script(type='text/javascript').
|
2014-03-08 13:31:07 -05:00
|
|
|
ga('send', 'event', 'editor-interaction', 'editor-opened')
|
2014-02-12 05:23:40 -05:00
|
|
|
|
2014-06-21 17:20:37 -04:00
|
|
|
- locals.suppressDefaultJs = true
|
|
|
|
|
2014-02-12 05:23:40 -05:00
|
|
|
- var fingerprintedPath = fingerprint(jsPath+'libs/pdf.worker.js')
|
|
|
|
- var pdfJsWorkerPath = jsPath+'libs/pdf.worker.js?fingerprint='+fingerprintedPath
|
2014-06-21 06:56:58 -04:00
|
|
|
script(type='text/javascript').
|
2014-02-12 05:23:40 -05:00
|
|
|
window.sharelatex.pdfJsWorkerPath = "#{pdfJsWorkerPath}"
|
|
|
|
|
|
|
|
script(
|
2014-07-08 07:01:32 -04:00
|
|
|
data-main=jsPath+'ide.js',
|
2014-02-12 05:23:40 -05:00
|
|
|
baseurl=jsPath,
|
|
|
|
data-ace-base=jsPath+'ace',
|
|
|
|
src=jsPath+'libs/require.js?fingerprint='+fingerprint(jsPath + 'libs/require.js')
|
|
|
|
)
|
|
|
|
|