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
|
2021-07-27 09:23:05 -04:00
|
|
|
- var suppressSkipToContent = true
|
2018-11-09 18:30:16 -05:00
|
|
|
- metadata.robotsNoindexNofollow = true
|
2014-06-21 17:20:37 -04:00
|
|
|
|
2021-09-08 04:24:14 -04:00
|
|
|
block css
|
|
|
|
each file in entrypointStyles('ide')
|
|
|
|
link(rel='stylesheet', href=file)
|
2021-03-29 07:07:40 -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
|
2020-12-14 06:44:10 -05:00
|
|
|
//- required by react2angular-shared-context, must be rendered as a top level component
|
2021-02-23 05:17:41 -05:00
|
|
|
shared-context-react()
|
2017-02-23 10:47:48 -05:00
|
|
|
.loading-screen(ng-if="state.loading")
|
2017-08-01 11:02:19 -04:00
|
|
|
.loading-screen-brand-container
|
|
|
|
.loading-screen-brand(
|
2017-02-23 10:47:48 -05: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 05:52:53 -04:00
|
|
|
p.loading-screen-error(ng-if="state.error").ng-cloak
|
2017-02-23 10:47:48 -05:00
|
|
|
span(ng-bind-html="state.error")
|
2015-07-31 10:42:47 -04:00
|
|
|
|
2020-12-14 04:29:45 -05:00
|
|
|
.global-alerts(ng-cloak ng-hide="editor.error_state")
|
2014-06-24 11:33:36 -04:00
|
|
|
.alert.alert-danger.small(ng-if="connection.forced_disconnect")
|
2014-07-31 12:07:43 -04:00
|
|
|
strong #{translate("disconnected")}
|
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")}.
|
2019-09-10 05:52:53 -04:00
|
|
|
| #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
|
2017-12-20 10:39:50 -05:00
|
|
|
a#try-reconnect-now-button.alert-link-as-btn.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
|
2014-06-24 11:33:36 -04:00
|
|
|
|
2019-09-10 10:31:08 -04:00
|
|
|
.alert.alert-warning.small(ng-if="connection.reconnecting && connection.stillReconnecting")
|
2020-04-22 05:35:33 -04:00
|
|
|
strong #{translate("reconnecting")}…
|
2014-06-24 11:33:36 -04:00
|
|
|
|
2019-06-17 10:47:19 -04: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 09:15:33 -04:00
|
|
|
.alert.alert-warning.small(ng-if="connection.inactive_disconnect")
|
|
|
|
strong #{translate("editor_disconected_click_to_reconnect")}
|
|
|
|
|
2019-09-10 10:31:08 -04:00
|
|
|
.alert.alert-warning.small(ng-if="connection.debug") {{ connection.state }}
|
|
|
|
|
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
|
|
|
|
2020-02-26 06:55:28 -05: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")}
|
|
|
|
.system-message-content(ng-bind-html="htmlContent")
|
|
|
|
|
2022-11-24 10:50:43 -05:00
|
|
|
grammarly-warning(delay=10000)
|
2022-11-15 13:10:05 -05:00
|
|
|
|
2022-03-31 07:22:36 -04:00
|
|
|
include ./editor/main
|
2019-09-10 05:52:53 -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()"
|
2020-01-27 08:53:27 -05:00
|
|
|
aria-label="Close"
|
|
|
|
)
|
|
|
|
span(aria-hidden="true") ×
|
2014-07-02 12:04:29 -04:00
|
|
|
h3 {{ title }}
|
2015-12-04 03:43:34 -05:00
|
|
|
.modal-body(ng-bind-html="message")
|
2014-07-02 12:04:29 -04:00
|
|
|
.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
|
|
|
|
2020-05-01 09:59:55 -04: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 11:40:26 -04:00
|
|
|
textarea.scroll-container(readonly="readonly" rows="{{editorContentRows}}")
|
2020-05-01 09:59:55 -04:00
|
|
|
| {{editorContent}}
|
|
|
|
|
|
|
|
.modal-footer
|
2021-01-12 06:24:10 -05:00
|
|
|
button.btn.btn-info(ng-click="done()") #{translate("reload_editor")}
|
2020-05-01 09:59:55 -04:00
|
|
|
|
2016-11-02 12:59:57 -04:00
|
|
|
script(type="text/ng-template", id="lockEditorModalTemplate")
|
|
|
|
.modal-header
|
|
|
|
h3 {{ title }}
|
|
|
|
.modal-body(ng-bind-html="message")
|
|
|
|
|
2021-04-09 04:36:11 -04:00
|
|
|
block append meta
|
2022-03-03 11:28:03 -05:00
|
|
|
include ./editor/meta
|
2018-08-28 09:12:00 -04:00
|
|
|
|
2019-10-16 06:10:54 -04:00
|
|
|
block foot-scripts
|
2022-11-03 08:46:06 -04:00
|
|
|
each file in (useOpenTelemetry ? entrypointScripts("tracing") : [])
|
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=file)
|
2021-03-25 10:02:21 -04:00
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=(wsUrl || '/socket.io') + '/socket.io.js')
|
2023-01-23 06:41:24 -05:00
|
|
|
if (richTextVariant !== 'cm6')
|
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=mathJaxPath)
|
2021-09-08 04:24:14 -04:00
|
|
|
each file in entrypointScripts("ide")
|
|
|
|
script(type="text/javascript", nonce=scriptNonce, src=file)
|