file-tree-react.pug 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. aside.editor-sidebar.full-size(
  2. ng-show="ui.view != 'history'"
  3. vertical-resizable-panes="outline-resizer"
  4. vertical-resizable-panes-toggled-externally-on="outline-toggled"
  5. vertical-resizable-panes-min-size="32"
  6. vertical-resizable-panes-max-size="75%"
  7. vertical-resizable-panes-resize-on="left-pane-resize-all"
  8. )
  9. .file-tree(
  10. ng-controller="ReactFileTreeController"
  11. vertical-resizable-top
  12. )
  13. file-tree-root(
  14. project-id="projectId"
  15. root-folder="rootFolder"
  16. root-doc-id="rootDocId"
  17. has-write-permissions="hasWritePermissions"
  18. on-select="onSelect"
  19. on-init="onInit"
  20. is-connected="isConnected"
  21. user-has-feature="userHasFeature"
  22. ref-providers="refProviders"
  23. reindex-references="reindexReferences"
  24. set-ref-provider-enabled="setRefProviderEnabled"
  25. set-started-free-trial="setStartedFreeTrial"
  26. )
  27. div(ng-controller="FileTreeController")
  28. include ./new-file-modal
  29. .outline-container(
  30. vertical-resizable-bottom
  31. ng-controller="OutlineController"
  32. )
  33. outline-pane(
  34. is-tex-file="isTexFile"
  35. outline="outline"
  36. project-id="project_id"
  37. jump-to-line="jumpToLine"
  38. on-toggle="onToggle"
  39. event-tracking="eventTracking"
  40. highlighted-line="highlightedLine"
  41. )