plugin.json 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101
  1. {
  2. "$schema": "http://json-schema.org/draft-07/schema",
  3. "title": "Cell Toolbar",
  4. "description": "Cell Toolbar Settings.",
  5. "jupyter.lab.toolbars": {
  6. "Cell": [
  7. {
  8. "name": "duplicate-cell",
  9. "command": "notebook:duplicate-below"
  10. },
  11. { "name": "move-cell-up", "command": "notebook:move-cell-up" },
  12. { "name": "move-cell-down", "command": "notebook:move-cell-down" },
  13. {
  14. "name": "insert-cell-above",
  15. "command": "notebook:insert-cell-above"
  16. },
  17. {
  18. "name": "insert-cell-below",
  19. "command": "notebook:insert-cell-below"
  20. },
  21. {
  22. "command": "notebook:delete-cell",
  23. "icon": "ui-components:delete",
  24. "name": "delete-cell"
  25. }
  26. ]
  27. },
  28. "jupyter.lab.transform": true,
  29. "properties": {
  30. "showToolbar": {
  31. "title": "Show cell toolbar",
  32. "description": "Show a toolbar inside the active cell, if there is enough room for one",
  33. "type": "boolean",
  34. "default": true
  35. },
  36. "toolbar": {
  37. "title": "List of toolbar items",
  38. "description": "An item is defined by a 'name', a 'command' name, and an 'icon' name",
  39. "type": "array",
  40. "items": {
  41. "$ref": "#/definitions/toolbarItem"
  42. },
  43. "default": []
  44. }
  45. },
  46. "additionalProperties": false,
  47. "type": "object",
  48. "definitions": {
  49. "toolbarItem": {
  50. "properties": {
  51. "name": {
  52. "title": "Unique name",
  53. "type": "string"
  54. },
  55. "args": {
  56. "title": "Command arguments",
  57. "type": "object"
  58. },
  59. "command": {
  60. "title": "Command id",
  61. "type": "string",
  62. "default": ""
  63. },
  64. "disabled": {
  65. "title": "Whether the item is ignored or not",
  66. "type": "boolean",
  67. "default": false
  68. },
  69. "icon": {
  70. "title": "Item icon id",
  71. "description": "If defined, it will override the command icon",
  72. "type": "string"
  73. },
  74. "label": {
  75. "title": "Item label",
  76. "description": "If defined, it will override the command label",
  77. "type": "string"
  78. },
  79. "caption": {
  80. "title": "Item caption",
  81. "description": "If defined, it will override the command caption",
  82. "type": "string"
  83. },
  84. "type": {
  85. "title": "Item type",
  86. "type": "string",
  87. "enum": ["command", "spacer"]
  88. },
  89. "rank": {
  90. "title": "Item rank",
  91. "type": "number",
  92. "minimum": 0,
  93. "default": 50
  94. }
  95. },
  96. "required": ["name"],
  97. "additionalProperties": false,
  98. "type": "object"
  99. }
  100. }
  101. }