editor-pane.pug 2.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. .ui-layout-center(
  2. ng-controller="ReviewPanelController",
  3. ng-class="{\
  4. 'rp-state-current-file': (reviewPanel.subView === SubViews.CUR_FILE),\
  5. 'rp-state-current-file-expanded': (reviewPanel.subView === SubViews.CUR_FILE && ui.reviewPanelOpen),\
  6. 'rp-state-current-file-mini': (reviewPanel.subView === SubViews.CUR_FILE && !ui.reviewPanelOpen),\
  7. 'rp-state-overview': (reviewPanel.subView === SubViews.OVERVIEW),\
  8. 'rp-size-mini': ui.miniReviewPanelVisible,\
  9. 'rp-size-expanded': ui.reviewPanelOpen,\
  10. 'rp-layout-left': reviewPanel.layoutToLeft,\
  11. 'rp-loading-threads': loadingThreads,\
  12. }"
  13. )
  14. .multi-selection-ongoing(
  15. ng-show="editor.multiSelectedCount > 0"
  16. )
  17. .multi-selection-message
  18. h4 {{ editor.multiSelectedCount }} #{translate('files_selected')}
  19. include ./file-view
  20. .editor-container.full-size(
  21. class={"has-source-toolbar" : showSourceToolbar},
  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. )
  35. span(ng-show="editor.open_doc_id")
  36. i.fa.fa-spin.fa-refresh
  37. |   #{translate("loading")}…
  38. span(ng-show="!editor.open_doc_id")
  39. i.fa.fa-arrow-left
  40. |   #{translate("open_a_file_on_the_left")}
  41. div(ng-controller="EditorLoaderController")
  42. if (!showSourceToolbar)
  43. include ./toolbar
  44. div(ng-if="editor.newSourceEditor")
  45. include ../../source-editor/source-editor
  46. div(ng-if="!editor.newSourceEditor")
  47. include ./source-editor
  48. div(ng-if="!editor.newSourceEditor || !reviewPanel.isReact")
  49. if !isRestrictedTokenMember
  50. include ./review-panel
  51. if moduleIncludesAvailable('editor:symbol-palette')
  52. .div(vertical-resizable-bottom)
  53. if moduleIncludesAvailable('editor:symbol-palette')
  54. != moduleIncludes('editor:symbol-palette', locals)