| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596 |
- 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"
- allow-overflow-on="'center'"
- )
- .ui-layout-center(
- ng-controller="ReviewPanelController",
- ng-class="{\
- 'rp-state-current-file': (reviewPanel.subView === SubViews.CUR_FILE),\
- 'rp-state-current-file-expanded': (reviewPanel.subView === SubViews.CUR_FILE && ui.reviewPanelOpen),\
- 'rp-state-current-file-mini': (reviewPanel.subView === SubViews.CUR_FILE && !ui.reviewPanelOpen),\
- 'rp-state-overview': (reviewPanel.subView === SubViews.OVERVIEW),\
- 'rp-size-mini': ui.miniReviewPanelVisible,\
- 'rp-size-expanded': ui.reviewPanelOpen,\
- 'rp-layout-left': reviewPanel.layoutToLeft,\
- 'rp-loading-threads': reviewPanel.loadingThreads,\
- }"
- )
- .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="!anonymous",
- 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,layout:review:resize,review-panel:toggle",
- annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
- read-only="!permissions.write",
- file-name="editor.open_doc_name",
- on-ctrl-enter="recompileViaKey",
- on-ctrl-j="toggleReviewPanel",
- on-ctrl-shift-c="addNewCommentFromKbdShortcut",
- on-ctrl-shift-a="toggleTrackChangesFromKbdShortcut",
- syntax-validation="settings.syntaxValidation",
- review-panel="reviewPanel",
- events-bridge="reviewPanelEventsBridge"
- track-changes-enabled="project.features.trackChangesVisible",
- track-changes= "editor.trackChanges",
- doc-id="editor.open_doc_id"
- renderer-data="reviewPanel.rendererData"
- )
- include ./review-panel
- .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
-
|
