Overleaf/services/web/app/views/project/editor/left-menu.pug

aside#left-menu.full-size(
	ng-class="{ 'shown': ui.leftMenuShown }"
	ng-cloak
)
	h4 #{translate("download")}

	ul.list-unstyled.nav.nav-downloads.text-center
		li
			a(
				ng-href="/project/{{project_id}}/download/zip"
				target="_blank"
			)
				i.fa.fa-file-archive-o.fa-2x
				br
				| #{translate("source")}
		li
			a(
				ng-href="{{pdf.downloadUrl || pdf.url}}"
				target="_blank"
				ng-if="pdf.url"
			)
				i.fa.fa-file-pdf-o.fa-2x
				br
				| PDF
			div.link-disabled(
				ng-if="!pdf.url"
				tooltip=translate('please_compile_pdf_before_download')
				tooltip-placement="bottom"
			)
				i.fa.fa-file-pdf-o.fa-2x
				br
				| PDF

	span(ng-show="!anonymous")
		h4 #{translate("actions")}
		ul.list-unstyled.nav
			li(ng-controller="LeftMenuCloneProjectModalController")
				a(
					href,
					ng-click="openCloneProjectModal()"
				)
					i.fa.fa-fw.fa-copy
					|    #{translate("copy_project")}

				clone-project-modal(
					handle-hide="handleHide"
					open-project="openProject"
					show="show"
				)

			!= moduleIncludes("editorLeftMenu:actions", locals)
			li(ng-controller="WordCountModalController")
				a(href, ng-if="pdf.url", ng-click="openWordCountModal()")
					i.fa.fa-fw.fa-eye
					span    #{translate("word_count")}
				a.link-disabled(href, ng-if="!pdf.url", tooltip=translate('please_compile_pdf_before_word_count'))
					i.fa.fa-fw.fa-eye
					span.link-disabled    #{translate("word_count")}

				word-count-modal(
					handle-hide="handleHide"
					show="show"
				)

	if (moduleIncludesAvailable("editorLeftMenu:sync"))
		div(ng-show="!anonymous")
			h4() #{translate("sync")}
			!= moduleIncludes("editorLeftMenu:sync", locals)

	if (moduleIncludesAvailable("editorLeftMenu:editing_services"))
		span(ng-show="!anonymous")
			h4 #{translate("services")}
			!= moduleIncludes("editorLeftMenu:editing_services", locals)

	h4(ng-show="!anonymous") #{translate("settings")}
	form.settings(ng-controller="SettingsController", ng-show="!anonymous")
		.containter-fluid
			.form-controls(ng-show="permissions.write")
				label(for="compiler") #{translate("compiler")}
				select(
					name="compiler"
					ng-model="project.compiler"
				)
					option(value='pdflatex') pdfLaTeX
					option(value='latex') LaTeX
					option(value='xelatex') XeLaTeX
					option(value='lualatex') LuaLaTeX

			if (typeof(allowedImageNames) !== 'undefined' && allowedImageNames.length > 0)
				.form-controls(ng-show="permissions.write")
					label(for="imageName") #{translate("tex_live_version")}
					select(
						name="imageName"
						ng-model="project.imageName"
					)
						each image in allowedImageNames
							option(value=image.imageName) #{image.imageDesc}

			.form-controls(ng-show="permissions.write")
				label(for="rootDoc_id") #{translate("main_document")}
				select(
					name="rootDoc_id",
					ng-model="project.rootDoc_id",
					ng-options="doc.doc.id as doc.path for doc in getValidMainDocs()"
				)

			.form-controls
				label(for="spellCheckLanguage") #{translate("spell_check")}
				select(
					name="spellCheckLanguage"
					ng-model="project.spellCheckLanguage"
				)
					option(value="") #{translate("off")}
					optgroup(label="Language")
						for language in languages
							option(
								value=language.code
							)= language.name

			if dictionaryEditorEnabled
				.form-controls(ng-controller="DictionaryModalController")
					label #{translate("dictionary")}
					button.btn.btn-default.btn-xs(ng-click="openModal()") #{translate("edit")}

					dictionary-modal(
						handle-hide="handleHide"
						show="show"
					)

			.form-controls
				label(for="autoComplete") #{translate("auto_complete")}
				select(
					name="autoComplete"
					ng-model="settings.autoComplete"
					ng-options="o.v as o.n for o in [{ n: 'On', v: true }, { n: 'Off', v: false }]"
				)

			.form-controls
				label(for="autoPairDelimiters") #{translate("auto_close_brackets")}
				select(
					name="autoPairDelimiters"
					ng-model="settings.autoPairDelimiters"
					ng-options="o.v as o.n for o in [{ n: 'On', v: true }, { n: 'Off', v: false }]"
				)

			.form-controls.code-check-setting
				label(for="syntaxValidation") #{translate("syntax_validation")}
				select(
					name="syntaxValidation"
					ng-model="settings.syntaxValidation"
					ng-options="o.v as o.n for o in [{ n: 'On', v: true }, { n: 'Off', v: false }]"
				)

			.form-controls
				label(for="editorTheme") #{translate("editor_theme")}
				select(
					name="editorTheme"
					ng-model="settings.editorTheme"
				)
					each editorTheme in editorThemes
						option(value=editorTheme) #{editorTheme.replace(/_/g, ' ')}

			if (settings.overleaf != null && !isIEEE(brandVariation))
				.form-controls
					label(for="overallTheme") #{translate("overall_theme")}
					select(
						name="overallTheme"
						ng-if="!ui.loadingStyleSheet"
						ng-model="settings.overallTheme"
						ng-options="overallTheme.val as overallTheme.name for overallTheme in overallThemesList"
					)
					p.loading.pull-right(
						ng-if="ui.loadingStyleSheet"
					)
						i.fa.fa-fw.fa-spin.fa-refresh

			.form-controls(ng-show="!anonymous")
				label(for="mode") #{translate("keybindings")}
				select(
					name="mode"
					ng-model="settings.mode"
				)
					option(value='default') None
					option(value='vim') Vim
					option(value='emacs') Emacs

			.form-controls
				label(for="fontSize") #{translate("font_size")}
				select(
					name="fontSize"
					ng-model="fontSizeAsStr"
					ng-model-options="{ getterSetter: true }"
				)
					each size in ['10','11','12','13','14','16','18','20','22','24']
						option(value=size) #{size}px

			.form-controls
				label(for="fontFamily") #{translate("font_family")}
				select(
					name="fontFamily"
					ng-model="settings.fontFamily"
				)
					option(value='monaco') Monaco / Menlo / Consolas
					option(value='lucida') Lucida / Source Code Pro
			.form-controls
				label(for="lineHeight") #{translate("line_height")}
				select(
					name="lineHeight"
					ng-model="settings.lineHeight"
				)
					each lineHeight in ['compact', 'normal', 'wide']
						option(value=lineHeight) #{translate(lineHeight)}

			.form-controls
				label(for="pdfViewer") #{translate("pdf_viewer")}
				select(
					name="pdfViewer"
					ng-model="settings.pdfViewer"
				)
					option(value="pdfjs") #{settings.appName}
					option(value="native") #{translate("browser")}

	h4 #{translate("help")}
	ul.list-unstyled.nav
		li(ng-controller="HotkeysModalController")
			a(ng-click="openHotkeysModal()")
				i.fa.fa-keyboard-o.fa-fw
				|    #{translate("show_hotkeys")}

			hotkeys-modal(
				handle-hide="handleHide"
				show="show"
				track-changes-visible="trackChangesVisible"
				is-mac="isMac"
			)
		if showSupport
			li
				a(href='/learn', target="_blank")
					i.fa.fa-book.fa-fw
					|    #{translate('documentation')}
			li
				a(ng-controller="ContactModal", ng-click="contactUsModal()")
					i.fa.fa-question.fa-fw
					|    #{translate("contact_us")}

#left-menu-mask(
	ng-show="ui.leftMenuShown",
	ng-click="ui.leftMenuShown = false"
	ng-cloak
)

script(type='text/ng-template', id='cloneProjectModalTemplate')
	.modal-header
		h3 #{translate("copy_project")}
	.modal-body
		.alert.alert-danger(ng-show="state.error.message") {{ state.error.message}}
		.alert.alert-danger(ng-show="state.error && !state.error.message") #{translate("generic_something_went_wrong")}
		form(name="cloneProjectForm", novalidate)
			.form-group
				label #{translate("new_name")}
				input.form-control(
					type="text",
					placeholder="New Project Name",
					required,
					ng-model="inputs.projectName",
					on-enter="clone()",
					focus-on="open"
				)
	.modal-footer
		button.btn.btn-default(
			ng-disabled="state.inflight"
			ng-click="cancel()"
		) #{translate("cancel")}
		button.btn.btn-primary(
			ng-disabled="cloneProjectForm.$invalid || state.inflight"
			ng-click="clone()"
		)
			span(ng-hide="state.inflight") #{translate("copy")}
			span(ng-show="state.inflight") #{translate("copying")}…

script(type='text/ng-template', id='wordCountModalTemplate')
	.modal-header
		h3 #{translate("word_count")}
	.modal-body
		div(ng-if="status.loading")
			.loading(ng-show="!status.error && status.loading")
				i.fa.fa-refresh.fa-spin.fa-fw
				span   #{translate("loading")}…
			div.pdf-disabled(
				ng-if="!pdf.url"
				tooltip=translate('please_compile_pdf_before_word_count')
				tooltip-placement="bottom"
			)
		div(ng-if="!status.loading")
			.container-fluid
				.row(ng-show='data.messages.length > 0')
					.col-xs-12
						.alert.alert-danger
							p(style="white-space: pre-wrap") {{data.messages}}
				.row
					.col-xs-4
						.pull-right #{translate("total_words")} :
					.col-xs-6 {{data.textWords}}
				.row
					.col-xs-4
						.pull-right #{translate("headers")} :
					.col-xs-6 {{data.headers}}
				.row
					.col-xs-4
						.pull-right #{translate("math_inline")} :
					.col-xs-6 {{data.mathInline}}
				.row
					.col-xs-4
						.pull-right #{translate("math_display")} :
					.col-xs-6 {{data.mathDisplay}}
	.modal-footer
		button.btn.btn-default(
			ng-disabled="state.inflight"
			ng-click="cancel()"
		) #{translate("done")}