2014-02-12 10:23:40 +00:00
|
|
|
extends ../layout
|
|
|
|
|
2014-06-21 21:20:37 +00:00
|
|
|
block vars
|
|
|
|
- var suppressNavbar = true
|
|
|
|
- var suppressFooter = true
|
2021-07-27 13:23:05 +00:00
|
|
|
- var suppressSkipToContent = true
|
2018-11-09 23:30:16 +00:00
|
|
|
- metadata.robotsNoindexNofollow = true
|
2014-06-21 21:20:37 +00:00
|
|
|
|
2021-09-08 08:24:14 +00:00
|
|
|
block css
|
|
|
|
each file in entrypointStyles('ide')
|
|
|
|
link(rel='stylesheet', href=file)
|
2021-03-29 11:07:40 +00:00
|
|
|
|
2014-02-12 10:23:40 +00:00
|
|
|
block content
|
2014-07-28 14:57:06 +00:00
|
|
|
.editor(ng-controller="IdeController").full-size
|
2020-12-14 11:44:10 +00:00
|
|
|
//- required by react2angular-shared-context, must be rendered as a top level component
|
2021-02-23 10:17:41 +00:00
|
|
|
shared-context-react()
|
2017-02-23 15:47:48 +00:00
|
|
|
.loading-screen(ng-if="state.loading")
|
2017-08-01 15:02:19 +00:00
|
|
|
.loading-screen-brand-container
|
|
|
|
.loading-screen-brand(
|
2017-02-23 15:47:48 +00:00
|
|
|
style="height: 20%;"
|
|
|
|
ng-style="{ 'height': state.load_progress + '%' }"
|
|
|
|
)
|
|
|
|
h3.loading-screen-label(ng-if="!state.error") #{translate("loading")}
|
|
|
|
span.loading-screen-ellip .
|
|
|
|
span.loading-screen-ellip .
|
|
|
|
span.loading-screen-ellip .
|
2019-09-10 09:52:53 +00:00
|
|
|
p.loading-screen-error(ng-if="state.error").ng-cloak
|
2017-02-23 15:47:48 +00:00
|
|
|
span(ng-bind-html="state.error")
|
2015-07-31 14:42:47 +00:00
|
|
|
|
2020-12-14 09:29:45 +00:00
|
|
|
.global-alerts(ng-cloak ng-hide="editor.error_state")
|
2014-06-24 15:33:36 +00:00
|
|
|
.alert.alert-danger.small(ng-if="connection.forced_disconnect")
|
2014-07-31 16:07:43 +00:00
|
|
|
strong #{translate("disconnected")}
|
2014-06-24 15:33:36 +00:00
|
|
|
|
|
|
|
.alert.alert-warning.small(ng-if="connection.reconnection_countdown")
|
2014-07-31 16:07:43 +00:00
|
|
|
strong #{translate("lost_connection")}.
|
2019-09-10 09:52:53 +00:00
|
|
|
| #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
|
2017-12-20 15:39:50 +00:00
|
|
|
a#try-reconnect-now-button.alert-link-as-btn.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
|
2014-06-24 15:33:36 +00:00
|
|
|
|
2019-09-10 14:31:08 +00:00
|
|
|
.alert.alert-warning.small(ng-if="connection.reconnecting && connection.stillReconnecting")
|
2020-04-22 09:35:33 +00:00
|
|
|
strong #{translate("reconnecting")}…
|
2014-06-24 15:33:36 +00:00
|
|
|
|
2019-06-17 14:47:19 +00:00
|
|
|
.alert.alert-warning.small(ng-if="sync_tex_error")
|
|
|
|
strong #{translate("synctex_failed")}.
|
|
|
|
a#synctex-more-info-button.alert-link-as-btn.pull-right(
|
|
|
|
href="/learn/how-to/SyncTeX_Errors"
|
|
|
|
target="_blank"
|
|
|
|
) #{translate("more_info")}
|
|
|
|
|
2015-10-14 13:15:33 +00:00
|
|
|
.alert.alert-warning.small(ng-if="connection.inactive_disconnect")
|
|
|
|
strong #{translate("editor_disconected_click_to_reconnect")}
|
|
|
|
|
2019-09-10 14:31:08 +00:00
|
|
|
.alert.alert-warning.small(ng-if="connection.debug") {{ connection.state }}
|
|
|
|
|
2014-07-02 16:41:07 +00:00
|
|
|
.div(ng-controller="SavingNotificationController")
|
2015-10-14 13:15:33 +00: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 16:41:07 +00:00
|
|
|
|
2020-02-26 11:55:28 +00:00
|
|
|
.div(ng-controller="SystemMessagesController")
|
|
|
|
.alert.alert-warning.system-message(
|
|
|
|
ng-repeat="message in messages"
|
|
|
|
ng-controller="SystemMessageController"
|
|
|
|
ng-hide="hidden"
|
|
|
|
)
|
|
|
|
button(ng-hide="protected",ng-click="hide()").close.pull-right
|
|
|
|
span(aria-hidden="true") ×
|
|
|
|
span.sr-only #{translate("close")}
|
2023-05-15 13:55:26 +00:00
|
|
|
.system-message-content
|
|
|
|
| {{htmlContent}}
|
2020-02-26 11:55:28 +00:00
|
|
|
|
2022-11-24 15:50:43 +00:00
|
|
|
grammarly-warning(delay=10000)
|
2023-04-27 11:47:02 +00:00
|
|
|
if hasFeature('saas')
|
|
|
|
legacy-editor-warning(delay=10000)
|
2022-11-15 18:10:05 +00:00
|
|
|
|
2022-03-31 11:22:36 +00:00
|
|
|
include ./editor/main
|
2019-09-10 09:52:53 +00:00
|
|
|
|
2014-07-02 16:04:29 +00:00
|
|
|
script(type="text/ng-template", id="genericMessageModalTemplate")
|
|
|
|
.modal-header
|
|
|
|
button.close(
|
|
|
|
type="button"
|
|
|
|
data-dismiss="modal"
|
|
|
|
ng-click="done()"
|
2020-01-27 13:53:27 +00:00
|
|
|
aria-label="Close"
|
|
|
|
)
|
|
|
|
span(aria-hidden="true") ×
|
2014-07-02 16:04:29 +00:00
|
|
|
h3 {{ title }}
|
2015-12-04 08:43:34 +00:00
|
|
|
.modal-body(ng-bind-html="message")
|
2014-07-02 16:04:29 +00:00
|
|
|
.modal-footer
|
2014-07-31 16:07:43 +00:00
|
|
|
button.btn.btn-info(ng-click="done()") #{translate("ok")}
|
2014-06-21 21:20:37 +00:00
|
|
|
|
2020-05-01 13:59:55 +00:00
|
|
|
script(type="text/ng-template", id="outOfSyncModalTemplate")
|
|
|
|
.modal-header
|
|
|
|
button.close(
|
|
|
|
type="button"
|
|
|
|
data-dismiss="modal"
|
|
|
|
ng-click="done()"
|
|
|
|
aria-label="Close"
|
|
|
|
)
|
|
|
|
span(aria-hidden="true") ×
|
|
|
|
h3 {{ title }}
|
|
|
|
.modal-body(ng-bind-html="message")
|
|
|
|
|
|
|
|
.modal-body
|
|
|
|
button.btn.btn-info(
|
|
|
|
ng-init="showFileContents = false"
|
|
|
|
ng-click="showFileContents = !showFileContents"
|
|
|
|
)
|
|
|
|
| {{showFileContents ? "Hide" : "Show"}} Local File Contents
|
|
|
|
.text-preview(ng-show="showFileContents")
|
2021-03-30 15:40:26 +00:00
|
|
|
textarea.scroll-container(readonly="readonly" rows="{{editorContentRows}}")
|
2020-05-01 13:59:55 +00:00
|
|
|
| {{editorContent}}
|
|
|
|
|
|
|
|
.modal-footer
|
2021-01-12 11:24:10 +00:00
|
|
|
button.btn.btn-info(ng-click="done()") #{translate("reload_editor")}
|
2020-05-01 13:59:55 +00:00
|
|
|
|
2016-11-02 16:59:57 +00:00
|
|
|
script(type="text/ng-template", id="lockEditorModalTemplate")
|
|
|
|
.modal-header
|
|
|
|
h3 {{ title }}
|
|
|
|
.modal-body(ng-bind-html="message")
|
|
|
|
|
2021-04-09 08:36:11 +00:00
|
|
|
block append meta
|
2022-03-03 16:28:03 +00:00
|
|
|
include ./editor/meta
|
2018-08-28 13:12:00 +00:00
|
|
|
|
2019-10-16 10:10:54 +00:00
|
|
|
block foot-scripts
|
2022-11-03 12:46:06 +00:00
|
|
|
each file in (useOpenTelemetry ? entrypointScripts("tracing") : [])
|
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=file)
|
2021-03-25 14:02:21 +00:00
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=(wsUrl || '/socket.io') + '/socket.io.js')
|
2023-01-23 11:41:24 +00:00
|
|
|
if (richTextVariant !== 'cm6')
|
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=mathJaxPath)
|
2021-09-08 08:24:14 +00:00
|
|
|
each file in entrypointScripts("ide")
|
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=file)
|