panel.json 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  1. {
  2. "title": "Notebook Panel",
  3. "description": "Notebook Panel settings.",
  4. "jupyter.lab.toolbars": {
  5. "Notebook": [
  6. { "name": "save", "rank": 10 },
  7. {
  8. "name": "insert",
  9. "command": "notebook:insert-cell-below",
  10. "icon": "ui-components:add",
  11. "rank": 20
  12. },
  13. { "name": "cut", "command": "notebook:cut-cell", "rank": 21 },
  14. { "name": "copy", "command": "notebook:copy-cell", "rank": 22 },
  15. { "name": "paste", "command": "notebook:paste-cell-below", "rank": 23 },
  16. {
  17. "name": "run",
  18. "command": "notebook:run-cell-and-select-next",
  19. "rank": 30
  20. },
  21. {
  22. "name": "interrupt",
  23. "command": "notebook:interrupt-kernel",
  24. "rank": 31
  25. },
  26. { "name": "restart", "command": "notebook:restart-kernel", "rank": 32 },
  27. {
  28. "name": "restart-and-run",
  29. "command": "notebook:restart-run-all",
  30. "rank": 33
  31. },
  32. { "name": "cellType", "rank": 40 },
  33. { "name": "spacer", "type": "spacer", "rank": 100 },
  34. { "name": "kernelName", "rank": 1000 },
  35. { "name": "executionProgress", "rank": 1002 }
  36. ]
  37. },
  38. "jupyter.lab.transform": true,
  39. "properties": {
  40. "toolbar": {
  41. "title": "Notebook panel toolbar items",
  42. "description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key. The following example will disable the Interrupt button item:\n{\n \"toolbar\": [\n {\n \"name\": \"interrupt\",\n \"disabled\": true\n }\n ]\n}\n\nToolbar description:",
  43. "items": {
  44. "$ref": "#/definitions/toolbarItem"
  45. },
  46. "type": "array",
  47. "default": []
  48. }
  49. },
  50. "additionalProperties": false,
  51. "type": "object",
  52. "definitions": {
  53. "toolbarItem": {
  54. "properties": {
  55. "name": {
  56. "title": "Unique name",
  57. "type": "string"
  58. },
  59. "args": {
  60. "title": "Command arguments",
  61. "type": "object"
  62. },
  63. "command": {
  64. "title": "Command id",
  65. "type": "string",
  66. "default": ""
  67. },
  68. "disabled": {
  69. "title": "Whether the item is ignored or not",
  70. "type": "boolean",
  71. "default": false
  72. },
  73. "icon": {
  74. "title": "Item icon id",
  75. "description": "If defined, it will override the command icon",
  76. "type": "string"
  77. },
  78. "label": {
  79. "title": "Item label",
  80. "description": "If defined, it will override the command label",
  81. "type": "string"
  82. },
  83. "caption": {
  84. "title": "Item caption",
  85. "description": "If defined, it will override the command caption",
  86. "type": "string"
  87. },
  88. "type": {
  89. "title": "Item type",
  90. "type": "string",
  91. "enum": ["command", "spacer"]
  92. },
  93. "rank": {
  94. "title": "Item rank",
  95. "type": "number",
  96. "minimum": 0,
  97. "default": 50
  98. }
  99. },
  100. "required": ["name"],
  101. "additionalProperties": false,
  102. "type": "object"
  103. }
  104. }
  105. }