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 + '%'}")
|
2015-07-31 10:42:47 -04:00
|
|
|
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 }}"})}.
|
2015-09-29 05:23:21 -04:00
|
|
|
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
|
|
|
|
2015-10-14 09:15:33 -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")
|
2015-10-14 09:15:33 -04:00
|
|
|
.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
|
|
|
|
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
|
2014-07-15 12:56:09 -04:00
|
|
|
include ./editor/publish-template
|
2014-07-02 08:23:04 -04:00
|
|
|
|
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
|
|
|
|
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
|
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
|
|
|
|
2015-03-09 09:57:13 -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').
|
2014-11-17 08:38:33 -05: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" : {
|
2015-01-29 13:11:38 -05:00
|
|
|
"mathjax": "/js/libs/mathjax/MathJax.js?config=TeX-AMS_HTML",
|
2015-03-20 07:28:28 -04:00
|
|
|
"moment": "libs/moment-2.7.0",
|
2015-03-31 09:53:27 -04:00
|
|
|
"libs/pdf": "libs/pdfjs-1.0.1040/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": {
|
2015-03-31 09:53:27 -04:00
|
|
|
deps: ["libs/pdfjs-1.0.1040/compatibility"]
|
2014-07-16 06:28:52 -04:00
|
|
|
},
|
|
|
|
"ace/ext-searchbox": {
|
|
|
|
deps: ["ace/ace"]
|
2015-05-05 09:33:18 -04:00
|
|
|
},
|
|
|
|
"ace/ext-language_tools": {
|
|
|
|
deps: ["ace/ace"]
|
2014-02-12 05:23:40 -05:00
|
|
|
}
|
2015-01-29 13:31:11 -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-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
|
|
|
|
|
2015-03-31 09:53:27 -04:00
|
|
|
- var pdfPath = 'libs/pdfjs-1.0.1040/pdf.worker.js'
|
2014-11-28 11:59:39 -05:00
|
|
|
- var fingerprintedPath = fingerprint(jsPath+pdfPath)
|
|
|
|
- var pdfJsWorkerPath = jsPath+pdfPath+'?fingerprint='+fingerprintedPath
|
2014-06-21 06:56:58 -04:00
|
|
|
script(type='text/javascript').
|
2014-07-16 06:28:52 -04:00
|
|
|
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
|
|
|
|