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'" custom-toggler-pane=hasFeature('custom-togglers') ? "east" : false custom-toggler-msg-when-open=hasFeature('custom-togglers') ? translate("tooltip_hide_pdf") : false custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? translate("tooltip_show_pdf") : false ) .ui-layout-center( ng-controller="ReviewPanelController", ng-class="{\ 'rp-unsupported': editor.showRichText,\ '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", style=showRichText ? "top: 32px" : "", ) 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")} != moduleIncludes('editor:main', locals) .multi-selection-ongoing( ng-show="multiSelectedCount > 0" ) .multi-selection-message h4 {{ multiSelectedCount }} #{translate('files_selected')} #editor( ace-editor="editor", ng-if="!editor.showRichText", ng-show="!!editor.sharejs_doc && !editor.opening && multiSelectedCount === 0", theme="settings.editorTheme", keybindings="settings.mode", font-size="settings.fontSize", auto-complete="settings.autoComplete", auto-pair-delimiters="settings.autoPairDelimiters", 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,layout:flat-screen:toggle", annotations="pdf.logEntryAnnotations[editor.open_doc_id]", read-only="!permissions.write", file-name="editor.open_doc_name", on-ctrl-enter="recompileViaKey", on-save="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= "editor.trackChanges", doc-id="editor.open_doc_id" renderer-data="reviewPanel.rendererData" font-family="settings.fontFamily || ui.defaultFontFamily" line-height="settings.lineHeight || ui.defaultLineHeight" ) if !isRestrictedTokenMember 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.synctex-control.synctex-control-goto-pdf( tooltip=translate('go_to_code_location_in_pdf') tooltip-placement="right" tooltip-append-to-body="true" ng-click="syncToPdf()" ) i.synctex-control-icon a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-code( tooltip-html="'"+translate('go_to_pdf_location_in_code', {}, true)+"'" tooltip-placement="right" tooltip-append-to-body="true" ng-click="syncToCode()" ) i.synctex-control-icon div.full-size( ng-if="ui.pdfLayout == 'flat'" ng-show="ui.view == 'pdf'" ) include ./pdf // fallback, shown when no file/view is selected div.full-size.no-file-selection( ng-if="!ui.view" ) .no-file-selection-message( ng-if="rootFolder.children && rootFolder.children.length > 0" ) h3 | #{translate('no_selection_select_file')} .no-file-selection-message( ng-if="rootFolder.children && rootFolder.children.length === 0" ) h3 | #{translate('no_selection_create_new_file')} div( ng-controller="FileTreeController" ) button.btn.btn-primary( ng-click="openNewDocModal()" ) | #{translate('new_file')}