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

127 lines
4.2 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 suppressSkipToContent = true
- var suppressCookieBanner = true
- metadata.robotsNoindexNofollow = true
2014-06-21 17:20:37 -04:00
block entrypointVar
- entrypoint = 'ide'
2014-02-12 05:23:40 -05:00
block content
2014-07-28 10:57:06 -04:00
.editor(ng-controller="IdeController").full-size
//- required by react2angular-shared-context, must be rendered as a top level component
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 .
p.loading-screen-error(ng-if="state.error").ng-cloak
2017-02-23 10:47:48 -05:00
span(ng-bind-html="state.error")
.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")}.
| #{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")}
2014-06-24 11:33:36 -04:00
.alert.alert-warning.small(ng-if="connection.reconnecting && connection.stillReconnecting")
strong #{translate("reconnecting")}…
2014-06-24 11:33:36 -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")}
.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 }}
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
.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}}
grammarly-advert()
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
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(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")}
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")
block append meta
include ./editor/meta
2018-08-28 09:12:00 -04:00
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')