editor.jade 3.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  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.reviewPanelOpen && reviewPanel.hasEntries),\
  20. 'rp-size-expanded': ui.reviewPanelOpen,\
  21. 'rp-layout-left': reviewPanel.layoutToLeft\
  22. }"
  23. )
  24. .loading-panel(ng-show="!editor.sharejs_doc || editor.opening")
  25. span(ng-show="editor.open_doc_id")
  26. i.fa.fa-spin.fa-refresh
  27. |   #{translate("loading")}...
  28. span(ng-show="!editor.open_doc_id")
  29. i.fa.fa-arrow-left
  30. |   #{translate("open_a_file_on_the_left")}
  31. #editor(
  32. ace-editor="editor",
  33. ng-show="!!editor.sharejs_doc && !editor.opening"
  34. theme="settings.theme",
  35. keybindings="settings.mode",
  36. font-size="settings.fontSize",
  37. auto-complete="settings.autoComplete",
  38. spell-check="!anonymous",
  39. spell-check-language="project.spellCheckLanguage",
  40. highlights="onlineUserCursorHighlights[editor.open_doc_id]"
  41. show-print-margin="false",
  42. sharejs-doc="editor.sharejs_doc",
  43. last-updated="editor.last_updated",
  44. cursor-position="editor.cursorPosition",
  45. goto-line="editor.gotoLine",
  46. resize-on="layout:main:resize,layout:pdf:resize,layout:review:resize,review-panel:toggle",
  47. annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
  48. read-only="!permissions.write",
  49. file-name="editor.open_doc_name",
  50. on-ctrl-enter="recompileViaKey",
  51. syntax-validation="settings.syntaxValidation",
  52. review-panel="reviewPanel",
  53. events-bridge="reviewPanelEventsBridge"
  54. track-changes-enabled="trackChangesFeatureFlag",
  55. track-changes= "editor.trackChanges",
  56. doc-id="editor.open_doc_id"
  57. renderer-data="reviewPanel.rendererData"
  58. )
  59. include ./review-panel
  60. .ui-layout-east
  61. div(ng-if="ui.pdfLayout == 'sideBySide'")
  62. include ./pdf
  63. .ui-layout-resizer-controls.synctex-controls(
  64. ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
  65. ng-controller="PdfSynctexController"
  66. )
  67. a.btn.btn-default.btn-xs(
  68. tooltip="#{translate('go_to_code_location_in_pdf')}"
  69. tooltip-placement="right"
  70. tooltip-append-to-body="true"
  71. ng-click="syncToPdf()"
  72. )
  73. i.fa.fa-long-arrow-right
  74. br
  75. a.btn.btn-default.btn-xs(
  76. tooltip-html="'#{translate('go_to_pdf_location_in_code')}'"
  77. tooltip-placement="right"
  78. tooltip-append-to-body="true"
  79. ng-click="syncToCode()"
  80. )
  81. i.fa.fa-long-arrow-left
  82. div.full-size(
  83. ng-if="ui.pdfLayout == 'flat'"
  84. ng-show="ui.view == 'pdf'"
  85. )
  86. include ./pdf