plugin.json 2.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485
  1. {
  2. "title": "HTML Viewer",
  3. "description": "HTML Viewer settings.",
  4. "jupyter.lab.setting-icon": "ui-components:html5",
  5. "jupyter.lab.setting-icon-label": "HTML Viewer",
  6. "jupyter.lab.toolbars": {
  7. "HTML Viewer": [
  8. { "name": "refresh", "rank": 10 },
  9. { "name": "trust", "rank": 20 }
  10. ]
  11. },
  12. "jupyter.lab.transform": true,
  13. "properties": {
  14. "toolbar": {
  15. "title": "HTML viewer toolbar items",
  16. "description": "Note: To disable a toolbar item,\ncopy it to User Preferences and add the\n\"disabled\" key. The following example will disable the refresh item:\n{\n \"toolbar\": [\n {\n \"name\": \"refresh\",\n \"disabled\": true\n }\n ]\n}\n\nToolbar description:",
  17. "items": {
  18. "$ref": "#/definitions/toolbarItem"
  19. },
  20. "type": "array",
  21. "default": []
  22. },
  23. "trustByDefault": {
  24. "type": "boolean",
  25. "title": "Trust HTML by default",
  26. "description": "Whether to trust HTML files upon opening",
  27. "default": false
  28. }
  29. },
  30. "additionalProperties": false,
  31. "type": "object",
  32. "definitions": {
  33. "toolbarItem": {
  34. "properties": {
  35. "name": {
  36. "title": "Unique name",
  37. "type": "string"
  38. },
  39. "args": {
  40. "title": "Command arguments",
  41. "type": "object"
  42. },
  43. "command": {
  44. "title": "Command id",
  45. "type": "string",
  46. "default": ""
  47. },
  48. "disabled": {
  49. "title": "Whether the item is ignored or not",
  50. "type": "boolean",
  51. "default": false
  52. },
  53. "icon": {
  54. "title": "Item icon id",
  55. "description": "If defined, it will override the command icon",
  56. "type": "string"
  57. },
  58. "label": {
  59. "title": "Item label",
  60. "description": "If defined, it will override the command label",
  61. "type": "string"
  62. },
  63. "caption": {
  64. "title": "Item caption",
  65. "description": "If defined, it will override the command caption",
  66. "type": "string"
  67. },
  68. "type": {
  69. "title": "Item type",
  70. "type": "string",
  71. "enum": ["command", "spacer"]
  72. },
  73. "rank": {
  74. "title": "Item rank",
  75. "type": "number",
  76. "minimum": 0,
  77. "default": 50
  78. }
  79. },
  80. "required": ["name"],
  81. "additionalProperties": false,
  82. "type": "object"
  83. }
  84. }
  85. }