editor-no-symbol-palette.pug 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. .ui-layout-center(
  2. ng-controller="ReviewPanelController",
  3. ng-class="{\
  4. 'rp-unsupported': editor.showRichText,\
  5. 'rp-state-current-file': (reviewPanel.subView === SubViews.CUR_FILE),\
  6. 'rp-state-current-file-expanded': (reviewPanel.subView === SubViews.CUR_FILE && ui.reviewPanelOpen),\
  7. 'rp-state-current-file-mini': (reviewPanel.subView === SubViews.CUR_FILE && !ui.reviewPanelOpen),\
  8. 'rp-state-overview': (reviewPanel.subView === SubViews.OVERVIEW),\
  9. 'rp-size-mini': ui.miniReviewPanelVisible,\
  10. 'rp-size-expanded': ui.reviewPanelOpen,\
  11. 'rp-layout-left': reviewPanel.layoutToLeft,\
  12. 'rp-loading-threads': reviewPanel.loadingThreads,\
  13. }"
  14. )
  15. .loading-panel(
  16. ng-show="(!editor.sharejs_doc || editor.opening) && !editor.error_state",
  17. style=showRichText ? "top: 32px" : "",
  18. )
  19. span(ng-show="editor.open_doc_id")
  20. i.fa.fa-spin.fa-refresh
  21. |   #{translate("loading")}…
  22. span(ng-show="!editor.open_doc_id")
  23. i.fa.fa-arrow-left
  24. |   #{translate("open_a_file_on_the_left")}
  25. if moduleIncludesAvailable('editor:main')
  26. != moduleIncludes('editor:main', locals)
  27. else
  28. .toolbar.toolbar-editor
  29. .multi-selection-ongoing(
  30. ng-show="multiSelectedCount > 0"
  31. )
  32. .multi-selection-message
  33. h4 {{ multiSelectedCount }} #{translate('files_selected')}
  34. include ./source-editor
  35. if !isRestrictedTokenMember
  36. include ./review-panel