registry.json 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. {
  2. "jupyter.lab.setting-icon": "ui-components:toc",
  3. "jupyter.lab.setting-icon-label": "Table of Contents",
  4. "title": "Table of Contents",
  5. "description": "Default table of contents settings.",
  6. "jupyter.lab.menus": {
  7. "main": [
  8. {
  9. "id": "jp-mainmenu-view",
  10. "items": [
  11. {
  12. "command": "toc:show-panel",
  13. "rank": 4
  14. }
  15. ]
  16. }
  17. ],
  18. "context": [
  19. {
  20. "command": "toc:run-cells",
  21. "selector": ".jp-TableOfContents-content[data-document-type=\"notebook\"] .jp-tocItem"
  22. }
  23. ]
  24. },
  25. "jupyter.lab.shortcuts": [
  26. {
  27. "command": "toc:show-panel",
  28. "keys": ["Accel Shift K"],
  29. "selector": "body"
  30. }
  31. ],
  32. "properties": {
  33. "maximalDepth": {
  34. "title": "Maximal headings depth",
  35. "type": "integer",
  36. "minimum": 1,
  37. "default": 4
  38. },
  39. "numberingH1": {
  40. "title": "Enable 1st headings numbering",
  41. "description": "Whether to number first-level headings or not.",
  42. "type": "boolean",
  43. "default": true
  44. },
  45. "numberHeaders": {
  46. "title": "Enable headings numbering",
  47. "description": "Whether to automatically number the headings or not.",
  48. "type": "boolean",
  49. "default": false
  50. },
  51. "includeOutput": {
  52. "title": "Include cell output in headings",
  53. "description": "Whether to include cell output in headings or not.",
  54. "type": "boolean",
  55. "default": true
  56. },
  57. "syncCollapseState": {
  58. "type": "boolean",
  59. "title": "Synchronize collapse state",
  60. "description": "If set to true, when a heading is collapsed in the table of contents the corresponding section in the document is collapsed as well and vice versa. This inhibits the cell output headings.",
  61. "default": false
  62. },
  63. "baseNumbering": {
  64. "title": "Base level for the highest headings",
  65. "type": "integer",
  66. "description": "The number headings start at.",
  67. "default": 1
  68. }
  69. },
  70. "additionalProperties": false,
  71. "type": "object"
  72. }