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

137 lines
4.1 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-07-24 09:04:26 -04:00
- var suppressSystemMessages = true
2014-06-21 17:20:37 -04:00
2014-02-12 05:23:40 -05:00
block content
2014-07-28 10:57:06 -04:00
.editor(ng-controller="IdeController").full-size
2014-06-21 17:20:37 -04:00
.loading-screen(ng-show="state.loading")
.container
2014-07-31 12:07:43 -04:00
h3 #{translate("loading")}...
2014-06-21 17:20:37 -04:00
.progress
2014-07-21 10:11:54 -04:00
.progress-bar(style="width: 20%", ng-style="{'width': state.load_progress + '%'}")
p.text-center.text-danger(ng-if="state.error").ng-cloak
span(ng-bind-html="state.error")
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")
2014-07-31 12:07:43 -04:00
strong #{translate("disconnected")}
| #{translate("please_refresh")}
2014-06-24 11:33:36 -04:00
.alert.alert-warning.small(ng-if="connection.reconnection_countdown")
2014-07-31 12:07:43 -04:00
strong #{translate("lost_connection")}.
| #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
a#try-reconnect-now-button.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
2014-06-24 11:33:36 -04:00
.alert.alert-warning.small(ng-if="connection.reconnecting")
2014-07-31 12:07:43 -04:00
strong #{translate("reconnecting")}...
2014-06-24 11:33:36 -04:00
.alert.alert-warning.small(ng-if="connection.inactive_disconnect")
strong #{translate("editor_disconected_click_to_reconnect")}
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 > 8") #{translate("saving_notification_with_seconds", {docname:"{{ state.doc.name }}", seconds:"{{ state.unsavedSeconds }}"})}
2014-07-02 12:41:07 -04:00
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-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(ng-bind-html="message")
.modal-footer
2014-07-31 12:07:43 -04:00
button.btn.btn-info(ng-click="done()") #{translate("ok")}
2014-06-21 17:20:37 -04:00
script(src='/socket.io/socket.io.js')
2014-02-12 05:23:40 -05:00
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').
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};
window.maxDocLength = #{maxDocLength};
2014-02-12 05:23:40 -05:00
window.requirejs = {
"paths" : {
2015-01-29 13:11:38 -05:00
"mathjax": "/js/libs/mathjax/MathJax.js?config=TeX-AMS_HTML",
"moment": "libs/moment-2.7.0",
2016-02-03 10:07:06 -05:00
"libs/pdf": "libs/pdfjs-1.3.91/pdf"
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/pdf": {
2016-02-03 10:07:06 -05:00
deps: ["libs/pdfjs-1.3.91/compatibility"]
},
"ace/ext-searchbox": {
deps: ["ace/ace"]
},
"ace/ext-language_tools": {
deps: ["ace/ace"]
2014-02-12 05:23:40 -05:00
}
},
config:{
moment:{
noGlobal: true
}
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-21 17:20:37 -04:00
- locals.suppressDefaultJs = true
2016-02-03 10:07:06 -05:00
- var pdfPath = 'libs/pdfjs-1.3.91/pdf.worker.js'
- var fingerprintedPath = fingerprint(jsPath+pdfPath)
- var pdfJsWorkerPath = jsPath+pdfPath+'?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