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