editor.jade 2.6 KB

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