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

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"
			line-height="settings.lineHeight"
		)

		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')}