editor.pug 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124
  1. div.full-size(
  2. ng-show="ui.view == 'editor'"
  3. layout="pdf"
  4. layout-disabled="ui.pdfLayout != 'sideBySide'"
  5. mask-iframes-on-resize="true"
  6. resize-on="layout:main:resize"
  7. resize-proportionally="true"
  8. initial-size-east="'50%'"
  9. minimum-restore-size-east="300"
  10. allow-overflow-on="'center'"
  11. )
  12. .ui-layout-center(
  13. ng-controller="ReviewPanelController",
  14. ng-class="{\
  15. 'rp-state-current-file': (reviewPanel.subView === SubViews.CUR_FILE),\
  16. 'rp-state-current-file-expanded': (reviewPanel.subView === SubViews.CUR_FILE && ui.reviewPanelOpen),\
  17. 'rp-state-current-file-mini': (reviewPanel.subView === SubViews.CUR_FILE && !ui.reviewPanelOpen),\
  18. 'rp-state-overview': (reviewPanel.subView === SubViews.OVERVIEW),\
  19. 'rp-size-mini': ui.miniReviewPanelVisible,\
  20. 'rp-size-expanded': ui.reviewPanelOpen,\
  21. 'rp-layout-left': reviewPanel.layoutToLeft,\
  22. 'rp-loading-threads': reviewPanel.loadingThreads,\
  23. }"
  24. )
  25. .loading-panel(ng-show="!editor.sharejs_doc || editor.opening")
  26. span(ng-show="editor.open_doc_id")
  27. i.fa.fa-spin.fa-refresh
  28. |   #{translate("loading")}...
  29. span(ng-show="!editor.open_doc_id")
  30. i.fa.fa-arrow-left
  31. |   #{translate("open_a_file_on_the_left")}
  32. #editor(
  33. ace-editor="editor",
  34. ng-show="!!editor.sharejs_doc && !editor.opening"
  35. theme="settings.theme",
  36. keybindings="settings.mode",
  37. font-size="settings.fontSize",
  38. auto-complete="settings.autoComplete",
  39. auto-pair-delimiters="settings.autoPairDelimiters",
  40. spell-check="!anonymous",
  41. spell-check-language="project.spellCheckLanguage"
  42. highlights="onlineUserCursorHighlights[editor.open_doc_id]"
  43. show-print-margin="false",
  44. sharejs-doc="editor.sharejs_doc",
  45. last-updated="editor.last_updated",
  46. cursor-position="editor.cursorPosition",
  47. goto-line="editor.gotoLine",
  48. resize-on="layout:main:resize,layout:pdf:resize,layout:review:resize,review-panel:toggle",
  49. annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
  50. read-only="!permissions.write",
  51. file-name="editor.open_doc_name",
  52. on-ctrl-enter="recompileViaKey",
  53. on-ctrl-j="toggleReviewPanel",
  54. on-ctrl-shift-c="addNewCommentFromKbdShortcut",
  55. on-ctrl-shift-a="toggleTrackChangesFromKbdShortcut",
  56. syntax-validation="settings.syntaxValidation",
  57. review-panel="reviewPanel",
  58. events-bridge="reviewPanelEventsBridge"
  59. track-changes-enabled="project.features.trackChangesVisible",
  60. track-changes= "editor.trackChanges",
  61. doc-id="editor.open_doc_id"
  62. renderer-data="reviewPanel.rendererData"
  63. )
  64. include ./review-panel
  65. .ui-layout-east
  66. div(ng-if="ui.pdfLayout == 'sideBySide'")
  67. include ./pdf
  68. .ui-layout-resizer-controls.synctex-controls(
  69. ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
  70. ng-controller="PdfSynctexController"
  71. )
  72. a.btn.btn-default.btn-xs(
  73. tooltip=translate('go_to_code_location_in_pdf')
  74. tooltip-placement="right"
  75. tooltip-append-to-body="true"
  76. ng-click="syncToPdf()"
  77. )
  78. i.fa.fa-long-arrow-right
  79. br
  80. a.btn.btn-default.btn-xs(
  81. tooltip-html="'"+translate('go_to_pdf_location_in_code', {}, true)+"'"
  82. tooltip-placement="right"
  83. tooltip-append-to-body="true"
  84. ng-click="syncToCode()"
  85. )
  86. i.fa.fa-long-arrow-left
  87. div.full-size(
  88. ng-if="ui.pdfLayout == 'flat'"
  89. ng-show="ui.view == 'pdf'"
  90. )
  91. include ./pdf
  92. #onboarding-autocompile.onboarding-autocompile.popover(
  93. ng-controller="AutoCompileOnboardingController"
  94. ng-if="onboarding.autoCompile == 'show'"
  95. ng-class="placement"
  96. )
  97. .popover-inner
  98. h3.popover-title #{translate("auto_compile")}
  99. .popover-content
  100. p #{translate("try_out_auto_compile_setting")}
  101. img(src="/img/onboarding/autocompile/setting-dropdown.png" width="100%")
  102. p #{translate("auto_compile_onboarding_description")}
  103. button.btn.btn-default.btn-block(ng-click="dismiss()")
  104. | #{translate("got_it")}
  105. #onboarding-linksharing.onboarding-linksharing.popover(
  106. ng-controller="LinkSharingOnboardingController"
  107. ng-if="permissions.admin && onboarding.linkSharing == 'unseen'"
  108. ng-class="placement"
  109. )
  110. .popover-inner
  111. h3.popover-title #{translate("link_sharing")}
  112. .popover-content
  113. p #{translate("try_out_link_sharing")}
  114. img(src="/img/onboarding/linksharing/link-sharing.png" width="100%")
  115. p #{translate("try_link_sharing_description")}
  116. button.btn.btn-default.btn-block(ng-click="dismiss()")
  117. | #{translate("got_it")}