editor-pane.pug 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566
  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. div(ng-if="editor.newSourceEditor")
  47. if moduleIncludesAvailable('editor:source-editor')
  48. != moduleIncludes('editor:source-editor', locals)
  49. div(ng-if="!editor.newSourceEditor")
  50. include ./source-editor
  51. if !isRestrictedTokenMember
  52. include ./review-panel
  53. if moduleIncludesAvailable('editor:symbol-palette') || moduleIncludesAvailable('editor:galileo')
  54. .div(vertical-resizable-bottom)
  55. if moduleIncludesAvailable('editor:symbol-palette')
  56. != moduleIncludes('editor:symbol-palette', locals)
  57. if moduleIncludesAvailable('editor:galileo')
  58. != moduleIncludes('editor:galileo', locals)