editor.jade 2.5 KB

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