editor.pug 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556
  1. div.full-size(
  2. ng-show="ui.view == 'editor' || ui.view === 'file'"
  3. layout="pdf"
  4. open-east="ui.pdfOpen"
  5. mask-iframes-on-resize="true"
  6. resize-on="layout:main:resize"
  7. resize-proportionally="true"
  8. initial-size-east="'50%'"
  9. minimum-restore-size-east="300"
  10. allow-overflow-on="'center'"
  11. custom-toggler-pane=hasFeature('custom-togglers') ? "east" : false
  12. custom-toggler-msg-when-open=hasFeature('custom-togglers') ? translate("tooltip_hide_pdf") : false
  13. custom-toggler-msg-when-closed=hasFeature('custom-togglers') ? translate("tooltip_show_pdf") : false
  14. )
  15. if (settings.showCM6SwitchAwaySurvey)
  16. cm6-switch-away-survey()
  17. include ./editor-pane
  18. .ui-layout-east
  19. div(ng-if="ui.pdfLayout == 'sideBySide'")
  20. pdf-preview()
  21. .ui-layout-resizer-controls.synctex-controls(
  22. ng-show="settings.pdfViewer !== 'native'"
  23. )
  24. pdf-synctex-controls()
  25. div.full-size(
  26. ng-if="ui.pdfLayout == 'flat'"
  27. ng-show="ui.view == 'pdf'"
  28. )
  29. pdf-preview()
  30. // fallback, shown when no file/view is selected
  31. div.full-size.no-file-selection(
  32. ng-if="!ui.view"
  33. )
  34. .no-file-selection-message(
  35. ng-if="rootFolder.children && rootFolder.children.length > 0"
  36. )
  37. h3
  38. | #{translate('no_selection_select_file')}
  39. .no-file-selection-message(
  40. ng-if="rootFolder.children && rootFolder.children.length === 0"
  41. )
  42. h3
  43. | #{translate('no_selection_create_new_file')}
  44. div(
  45. ng-controller="FileTreeController"
  46. )
  47. button.btn.btn-primary(
  48. ng-click="openNewDocModal()"
  49. )
  50. | #{translate('new_file')}