| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124 |
- extends ../layout
- block vars
- - var suppressNavbar = true
- - var suppressFooter = true
- - var suppressSkipToContent = true
- - var suppressCookieBanner = true
- - metadata.robotsNoindexNofollow = true
- block entrypointVar
- - entrypoint = 'ide'
- block content
- .editor(ng-controller="IdeController").full-size
- //- required by react2angular-shared-context, must be rendered as a top level component
- shared-context-react()
- .loading-screen(ng-if="state.loading")
- .loading-screen-brand-container
- .loading-screen-brand(
- 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 .
- p.loading-screen-error(ng-if="state.error").ng-cloak
- span(ng-bind-html="state.error")
- .global-alerts(ng-cloak ng-hide="editor.error_state")
- .alert.alert-danger.small(ng-if="connection.forced_disconnect")
- strong #{translate("disconnected")}
- .alert.alert-warning.small(ng-if="connection.reconnection_countdown")
- strong #{translate("lost_connection")}.
- | #{translate("reconnecting_in_x_secs", {seconds:"{{ connection.reconnection_countdown }}"})}.
- a#try-reconnect-now-button.alert-link-as-btn.pull-right(href, ng-click="tryReconnectNow()") #{translate("try_now")}
- .alert.alert-warning.small(ng-if="connection.reconnecting && connection.stillReconnecting")
- strong #{translate("reconnecting")}…
- .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")}
- .alert.alert-warning.small(ng-if="connection.inactive_disconnect")
- strong #{translate("editor_disconected_click_to_reconnect")}
- .alert.alert-warning.small(ng-if="connection.debug") {{ connection.state }}
- .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 }}"})}
- .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
- | {{htmlContent}}
- if hasFeature('saas')
- legacy-editor-warning(delay=10000)
- include ./editor/main
- script(type="text/ng-template" id="genericMessageModalTemplate")
- .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-footer
- button.btn.btn-info(ng-click="done()") #{translate("ok")}
- 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")
- textarea.scroll-container(readonly="readonly" rows="{{editorContentRows}}")
- | {{editorContent}}
- .modal-footer
- button.btn.btn-info(ng-click="done()") #{translate("reload_editor")}
- script(type="text/ng-template" id="lockEditorModalTemplate")
- .modal-header
- h3 {{ title }}
- .modal-body(ng-bind-html="message")
- block append meta
- include ./editor/meta
- block prepend foot-scripts
- each file in (useOpenTelemetry ? entrypointScripts("tracing") : [])
- script(type="text/javascript", nonce=scriptNonce, src=file)
- script(type="text/javascript", nonce=scriptNonce, src=(wsUrl || '/socket.io') + '/socket.io.js')
|