file-tree-react.pug 1.0 KB

12345678910111213141516171819202122232425262728293031323334353637
  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-default-size="350"
  6. vertical-resizable-panes-min-size="32"
  7. vertical-resizable-panes-max-size="'75%'"
  8. vertical-resizable-panes-resize-on="left-pane-resize-all"
  9. )
  10. .file-tree(
  11. ng-controller="ReactFileTreeController"
  12. vertical-resizable-top
  13. )
  14. file-tree-root(
  15. on-select="onSelect"
  16. on-init="onInit"
  17. is-connected="isConnected"
  18. ref-providers="refProviders"
  19. reindex-references="reindexReferences"
  20. set-ref-provider-enabled="setRefProviderEnabled"
  21. set-started-free-trial="setStartedFreeTrial"
  22. )
  23. .outline-container(
  24. vertical-resizable-bottom
  25. ng-controller="OutlineController"
  26. )
  27. outline-pane(
  28. is-tex-file="isTexFile"
  29. outline="outline"
  30. project-id="project_id"
  31. jump-to-line="jumpToLine"
  32. on-toggle="onToggle"
  33. event-tracking="eventTracking"
  34. highlighted-line="highlightedLine"
  35. )