editor.pug 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  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. custom-toggler-pane=hasFeature('custom-togglers') ? "'east'" : "false"
  12. custom-toggler-msg-when-open=hasFeature('custom-togglers') ? "'" + translate("tooltip_hide_pdf") + "'" : "false"
  13. custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? "'" + translate("tooltip_show_pdf") + "'" : "false"
  14. )
  15. .ui-layout-center(
  16. ng-controller="ReviewPanelController",
  17. ng-class="{\
  18. 'rp-state-current-file': (reviewPanel.subView === SubViews.CUR_FILE),\
  19. 'rp-state-current-file-expanded': (reviewPanel.subView === SubViews.CUR_FILE && ui.reviewPanelOpen),\
  20. 'rp-state-current-file-mini': (reviewPanel.subView === SubViews.CUR_FILE && !ui.reviewPanelOpen),\
  21. 'rp-state-overview': (reviewPanel.subView === SubViews.OVERVIEW),\
  22. 'rp-size-mini': ui.miniReviewPanelVisible,\
  23. 'rp-size-expanded': ui.reviewPanelOpen,\
  24. 'rp-layout-left': reviewPanel.layoutToLeft,\
  25. 'rp-loading-threads': reviewPanel.loadingThreads,\
  26. }"
  27. )
  28. .loading-panel(ng-show="!editor.sharejs_doc || editor.opening")
  29. span(ng-show="editor.open_doc_id")
  30. i.fa.fa-spin.fa-refresh
  31. |   #{translate("loading")}...
  32. span(ng-show="!editor.open_doc_id")
  33. i.fa.fa-arrow-left
  34. |   #{translate("open_a_file_on_the_left")}
  35. != moduleIncludes('editor:toolbar', locals)
  36. #editor(
  37. ace-editor="editor",
  38. ng-if="!editor.richText",
  39. ng-show="!!editor.sharejs_doc && !editor.opening",
  40. style=showRichText ? "top: 32px" : "",
  41. theme="settings.theme",
  42. keybindings="settings.mode",
  43. font-size="settings.fontSize",
  44. auto-complete="settings.autoComplete",
  45. auto-pair-delimiters="settings.autoPairDelimiters",
  46. spell-check="!anonymous",
  47. spell-check-language="project.spellCheckLanguage"
  48. highlights="onlineUserCursorHighlights[editor.open_doc_id]"
  49. show-print-margin="false",
  50. sharejs-doc="editor.sharejs_doc",
  51. last-updated="editor.last_updated",
  52. cursor-position="editor.cursorPosition",
  53. goto-line="editor.gotoLine",
  54. resize-on="layout:main:resize,layout:pdf:resize,layout:review:resize,review-panel:toggle",
  55. annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
  56. read-only="!permissions.write",
  57. file-name="editor.open_doc_name",
  58. on-ctrl-enter="recompileViaKey",
  59. on-save="recompileViaKey",
  60. on-ctrl-j="toggleReviewPanel",
  61. on-ctrl-shift-c="addNewCommentFromKbdShortcut",
  62. on-ctrl-shift-a="toggleTrackChangesFromKbdShortcut",
  63. syntax-validation="settings.syntaxValidation",
  64. review-panel="reviewPanel",
  65. events-bridge="reviewPanelEventsBridge"
  66. track-changes-enabled="project.features.trackChangesVisible",
  67. track-changes= "editor.trackChanges",
  68. doc-id="editor.open_doc_id"
  69. renderer-data="reviewPanel.rendererData"
  70. font-family="settings.fontFamily || ui.defaultFontFamily"
  71. line-height="settings.lineHeight || ui.defaultLineHeight"
  72. )
  73. != moduleIncludes('editor:body', locals)
  74. include ./review-panel
  75. .ui-layout-east
  76. div(ng-if="ui.pdfLayout == 'sideBySide'")
  77. include ./pdf
  78. .ui-layout-resizer-controls.synctex-controls(
  79. ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
  80. ng-controller="PdfSynctexController"
  81. )
  82. a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-pdf(
  83. tooltip=translate('go_to_code_location_in_pdf')
  84. tooltip-placement="right"
  85. tooltip-append-to-body="true"
  86. ng-click="syncToPdf()"
  87. )
  88. i.synctex-control-icon
  89. a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-code(
  90. tooltip-html="'"+translate('go_to_pdf_location_in_code', {}, true)+"'"
  91. tooltip-placement="right"
  92. tooltip-append-to-body="true"
  93. ng-click="syncToCode()"
  94. )
  95. i.synctex-control-icon
  96. div.full-size(
  97. ng-if="ui.pdfLayout == 'flat'"
  98. ng-show="ui.view == 'pdf'"
  99. )
  100. include ./pdf