overleaf/services/web/app/views/project/editor.jade

131 lines
3.6 KiB
Text
Raw Normal View History

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
2014-07-21 10:11:54 -04:00
.progress-bar(style="width: 20%", ng-style="{'width': state.load_progress + '%'}")
2014-06-21 17:20:37 -04:00
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
#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
include ./editor/share
2014-07-01 09:12:28 -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
include ./editor/track-changes
2014-07-15 12:56:09 -04:00
include ./editor/publish-template
2014-07-17 09:20:29 -04:00
include ./editor/dropbox
2014-07-21 07:19:13 -04:00
.ui-layout-east
2014-07-15 13:25:12 -04:00
include ./editor/chat
2014-07-22 09:38:32 -04:00
include ./editor/hotkeys
2014-06-22 15:08:56 -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.userSettings = !{JSON.stringify(userSettings).replace(/\//g, '\\/')};
window.user = !{JSON.stringify(user).replace(/\//g, '\\/')};
2014-02-12 05:23:40 -05:00
window.csrfToken = "!{csrfToken}";
2014-07-21 06:56:49 -04:00
window.anonymous = #{anonymous};
2014-02-12 05:23:40 -05:00
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",
"moment": "libs/moment-2.7.0"
2014-02-12 05:23:40 -05:00
},
2014-07-18 07:08:35 -04:00
"urlArgs" : "fingerprint=#{fingerprint(jsPath + 'ide.js')}-#{fingerprint(jsPath + 'libs.js')}",
2014-02-12 05:23:40 -05:00
"waitSeconds": 0,
"shim": {
"libs/pdfListView/PdfListView": {
deps: ["libs/pdf"]
},
"libs/pdf": {
deps: ["libs/compatibility"]
},
"ace/ext-searchbox": {
deps: ["ace/ace"]
2014-02-12 05:23:40 -05:00
}
}
};
2014-07-18 07:08:35 -04:00
window.aceFingerprint = "#{fingerprint(jsPath + 'ace/ace.js')}"
2014-02-12 05:23:40 -05:00
2014-06-04 11:28:20 -04:00
script(type='text/javascript').
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').
window.pdfJsWorkerPath = "#{pdfJsWorkerPath}";
2014-02-12 05:23:40 -05:00
script(
2014-07-18 07:08:35 -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')
)
2014-07-15 13:25:12 -04:00
2014-02-12 05:23:40 -05:00