source-editor.pug 1.3 KB

123456789101112131415161718192021222324252627282930313233
  1. #editor(
  2. ace-editor="editor",
  3. ng-if="!editor.showRichText",
  4. ng-show="!!editor.sharejs_doc && !editor.opening && multiSelectedCount === 0 && !editor.error_state",
  5. theme="settings.editorTheme",
  6. keybindings="settings.mode",
  7. font-size="settings.fontSize",
  8. auto-complete="settings.autoComplete",
  9. auto-pair-delimiters="settings.autoPairDelimiters",
  10. spell-check="!anonymous",
  11. spell-check-language="project.spellCheckLanguage"
  12. highlights="onlineUserCursorHighlights[editor.open_doc_id]"
  13. show-print-margin="false",
  14. sharejs-doc="editor.sharejs_doc",
  15. last-updated="editor.last_updated",
  16. cursor-position="editor.cursorPosition",
  17. goto-line="editor.gotoLine",
  18. resize-on="layout:main:resize,layout:pdf:resize,layout:review:resize,review-panel:toggle,layout:flat-screen:toggle",
  19. annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
  20. read-only="!permissions.write",
  21. file-name="editor.open_doc_name",
  22. on-ctrl-j="toggleReviewPanel",
  23. on-ctrl-shift-c="addNewCommentFromKbdShortcut",
  24. on-ctrl-shift-a="toggleTrackChangesFromKbdShortcut",
  25. syntax-validation="settings.syntaxValidation",
  26. review-panel="reviewPanel",
  27. events-bridge="reviewPanelEventsBridge"
  28. track-changes= "editor.trackChanges",
  29. doc-id="editor.open_doc_id"
  30. renderer-data="reviewPanel.rendererData"
  31. font-family="settings.fontFamily"
  32. line-height="settings.lineHeight"
  33. )