mirror of
https://github.com/overleaf/overleaf.git
synced 2024-12-28 17:11:59 +00:00
70 lines
No EOL
2 KiB
Text
70 lines
No EOL
2 KiB
Text
div.full-size(
|
|
ng-show="ui.view == 'editor'"
|
|
layout="pdf"
|
|
layout-disabled="ui.pdfLayout != 'sideBySide'"
|
|
mask-iframes-on-resize="true"
|
|
resize-on="layout:main:resize"
|
|
resize-proportionally="true"
|
|
initial-size-east="'50%'"
|
|
minimum-restore-size-east="300"
|
|
)
|
|
.ui-layout-center
|
|
.loading-panel(ng-show="!editor.sharejs_doc || editor.opening")
|
|
span(ng-show="editor.open_doc_id")
|
|
i.fa.fa-spin.fa-refresh
|
|
| #{translate("loading")}...
|
|
span(ng-show="!editor.open_doc_id")
|
|
i.fa.fa-arrow-left
|
|
| #{translate("open_a_file_on_the_left")}
|
|
|
|
#editor(
|
|
ace-editor="editor",
|
|
ng-show="!!editor.sharejs_doc && !editor.opening"
|
|
theme="settings.theme",
|
|
keybindings="settings.mode",
|
|
font-size="settings.fontSize",
|
|
auto-complete="settings.autoComplete",
|
|
spell-check="true",
|
|
spell-check-language="project.spellCheckLanguage",
|
|
highlights="onlineUserCursorHighlights[editor.open_doc_id]"
|
|
show-print-margin="false",
|
|
sharejs-doc="editor.sharejs_doc",
|
|
last-updated="editor.last_updated",
|
|
cursor-position="editor.cursorPosition",
|
|
goto-line="editor.gotoLine",
|
|
resize-on="layout:main:resize,layout:pdf:resize",
|
|
annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
|
|
read-only="!permissions.write",
|
|
on-ctrl-enter="recompileViaKey"
|
|
)
|
|
|
|
.ui-layout-east
|
|
div(ng-if="ui.pdfLayout == 'sideBySide'")
|
|
include ./pdf
|
|
|
|
.ui-layout-resizer-controls.synctex-controls(
|
|
ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
|
|
ng-controller="PdfSynctexController"
|
|
)
|
|
a.btn.btn-default.btn-xs(
|
|
tooltip="#{translate('go_to_code_location_in_pdf')}"
|
|
tooltip-placement="right"
|
|
tooltip-append-to-body="true"
|
|
ng-click="syncToPdf()"
|
|
)
|
|
i.fa.fa-long-arrow-right
|
|
br
|
|
a.btn.btn-default.btn-xs(
|
|
tooltip-html="'#{translate('go_to_pdf_location_in_code')}'"
|
|
tooltip-placement="right"
|
|
tooltip-append-to-body="true"
|
|
ng-click="syncToCode()"
|
|
)
|
|
i.fa.fa-long-arrow-left
|
|
|
|
div.full-size(
|
|
ng-if="ui.pdfLayout == 'flat'"
|
|
ng-show="ui.view == 'pdf'"
|
|
)
|
|
include ./pdf
|
|
|