file-tree-react.pug 1.1 KB

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