diff --git a/services/web/app/views/project/editor/left-menu.pug b/services/web/app/views/project/editor/left-menu.pug index a407f3c016..ef7a403681 100644 --- a/services/web/app/views/project/editor/left-menu.pug +++ b/services/web/app/views/project/editor/left-menu.pug @@ -75,6 +75,16 @@ aside#left-menu.full-size( 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( @@ -190,16 +200,6 @@ aside#left-menu.full-size( option(value="pdfjs") #{translate("built_in")} option(value="native") #{translate("native")} - if (getSessionUser() && getSessionUser().isAdmin && typeof(allowedImageNames) !== 'undefined' && allowedImageNames.length > 0) - .form-controls(ng-show="permissions.write") - label(for="imageName") #{translate("TeXLive")} - select( - name="imageName" - ng-model="project.imageName" - ) - each image in allowedImageNames - option(value=image.imageName) #{image.imageDesc} - h4 #{translate("help")} ul.list-unstyled.nav li(ng-controller="HotkeysController")