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

79 lines
2.5 KiB
Text
Raw Normal View History

div.full-size(
ng-show="ui.view == 'editor'"
layout="pdf"
2014-07-22 08:33:01 -04:00
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"
)
2016-10-13 09:22:23 -04:00
.ui-layout-center(ng-controller="ReviewPanelController", ng-class="{'has-review-panel': ui.reviewPanelOpen}")
.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")}
2016-10-11 09:24:01 -04:00
2016-10-13 09:22:23 -04:00
#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",
2016-10-13 09:22:23 -04:00
resize-on="layout:main:resize,layout:pdf:resize,layout:review:resize,reviewPanel:toggle",
annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
read-only="!permissions.write",
on-ctrl-enter="recompileViaKey",
syntax-validation="settings.syntaxValidation",
review-panel="reviewPanel",
on-scroll="onScroll",
scroll-events="scrollEvents"
)
#review-panel
.review-panel-scroller
.review-entry-list
.review-entry(ng-repeat="(entry_id, entry) in reviewPanel.entries", ng-style="{'top': entry.screenPos.y}")
{{ entry.content }}
.ui-layout-east
2014-07-22 08:33:01 -04:00
div(ng-if="ui.pdfLayout == 'sideBySide'")
include ./pdf
2014-06-30 13:35:01 -04:00
.ui-layout-resizer-controls.synctex-controls(
ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
2014-06-30 13:35:01 -04:00
ng-controller="PdfSynctexController"
)
a.btn.btn-default.btn-xs(
2014-08-20 09:31:44 -04:00
tooltip="#{translate('go_to_code_location_in_pdf')}"
2014-06-30 13:35:01 -04:00
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')}'"
2014-06-30 13:35:01 -04:00
tooltip-placement="right"
tooltip-append-to-body="true"
ng-click="syncToCode()"
)
2014-07-22 08:33:01 -04:00
i.fa.fa-long-arrow-left
div.full-size(
ng-if="ui.pdfLayout == 'flat'"
ng-show="ui.view == 'pdf'"
)
include ./pdf