editor-pane.pug 2.5 KB

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