editor-with-symbol-palette.pug 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  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. .editor-container.full-size(
  16. vertical-resizable-panes="symbol-palette-resizer"
  17. vertical-resizable-panes-hidden-externally-on="symbol-palette-toggled"
  18. vertical-resizable-panes-hidden-initially="true"
  19. vertical-resizable-panes-default-size="196"
  20. vertical-resizable-panes-min-size="144"
  21. vertical-resizable-panes-max-size="336"
  22. vertical-resizable-panes-resize-on="layout:flat-screen:toggle"
  23. )
  24. .div(vertical-resizable-top)
  25. .loading-panel(
  26. ng-show="(!editor.sharejs_doc || editor.opening) && !editor.error_state",
  27. style=showRichText ? "top: 32px" : "",
  28. )
  29. span(ng-show="editor.open_doc_id")
  30. i.fa.fa-spin.fa-refresh
  31. |   #{translate("loading")}…
  32. span(ng-show="!editor.open_doc_id")
  33. i.fa.fa-arrow-left
  34. |   #{translate("open_a_file_on_the_left")}
  35. if moduleIncludesAvailable('editor:main')
  36. != moduleIncludes('editor:main', locals)
  37. else
  38. .toolbar.toolbar-editor
  39. .multi-selection-ongoing(
  40. ng-show="multiSelectedCount > 0"
  41. )
  42. .multi-selection-message
  43. h4 {{ multiSelectedCount }} #{translate('files_selected')}
  44. include ./source-editor
  45. if !isRestrictedTokenMember
  46. include ./review-panel
  47. .div(vertical-resizable-bottom)
  48. include ./symbol-palette