editor.pug 2.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
  1. div.full-size(
  2. ng-show="ui.view == 'editor'"
  3. layout="pdf"
  4. layout-disabled="ui.pdfLayout != 'sideBySide'"
  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 showSymbolPalette
  16. include ./editor-with-symbol-palette
  17. else
  18. include ./editor-no-symbol-palette
  19. .ui-layout-east
  20. // The pdf-preview component needs to always be rendered, even when the editor is in "full-width" mode and it's not visible.
  21. // It doesn't recompile while hidden, due to the ui.pdfHidden flag, but maintains its state for when it's shown again.
  22. if showNewPdfPreview
  23. div(ng-show="ui.pdfLayout == 'sideBySide'")
  24. pdf-preview()
  25. else
  26. div(ng-if="ui.pdfLayout == 'sideBySide'")
  27. include ./pdf
  28. .ui-layout-resizer-controls.synctex-controls(
  29. ng-show="!!pdf.url && settings.pdfViewer !== 'native'"
  30. ng-controller="PdfSynctexController"
  31. )
  32. a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-pdf(
  33. tooltip=translate('go_to_code_location_in_pdf')
  34. tooltip-placement="right"
  35. tooltip-append-to-body="true"
  36. ng-click="syncToPdf()"
  37. ng-disabled="syncToPdfInFlight"
  38. )
  39. i.synctex-control-icon(ng-show="!syncToPdfInFlight")
  40. i.synctex-spin-icon.fa.fa-refresh.fa-spin(ng-show="syncToPdfInFlight")
  41. a.btn.btn-default.btn-xs.synctex-control.synctex-control-goto-code(
  42. tooltip=translate('go_to_pdf_location_in_code')
  43. tooltip-placement="right"
  44. tooltip-append-to-body="true"
  45. ng-click="syncToCode()"
  46. ng-disabled="syncToCodeInFlight"
  47. )
  48. i.synctex-control-icon(ng-show="!syncToCodeInFlight")
  49. i.synctex-spin-icon.fa.fa-refresh.fa-spin(ng-show="syncToCodeInFlight")
  50. div.full-size(
  51. ng-if="ui.pdfLayout == 'flat'"
  52. ng-show="ui.view == 'pdf'"
  53. )
  54. if showNewPdfPreview
  55. pdf-preview()
  56. else
  57. include ./pdf
  58. // fallback, shown when no file/view is selected
  59. div.full-size.no-file-selection(
  60. ng-if="!ui.view"
  61. )
  62. .no-file-selection-message(
  63. ng-if="rootFolder.children && rootFolder.children.length > 0"
  64. )
  65. h3
  66. | #{translate('no_selection_select_file')}
  67. .no-file-selection-message(
  68. ng-if="rootFolder.children && rootFolder.children.length === 0"
  69. )
  70. h3
  71. | #{translate('no_selection_create_new_file')}
  72. div(
  73. ng-controller="FileTreeController"
  74. )
  75. button.btn.btn-primary(
  76. ng-click="openNewDocModal()"
  77. )
  78. | #{translate('new_file')}