plugin.json 2.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768
  1. {
  2. "jupyter.lab.setting-icon": "ui-components:markdown",
  3. "jupyter.lab.setting-icon-label": "Markdown Viewer",
  4. "title": "Markdown Viewer",
  5. "description": "Markdown viewer settings.",
  6. "definitions": {
  7. "fontFamily": {
  8. "type": ["string", "null"]
  9. },
  10. "fontSize": {
  11. "type": ["integer", "null"],
  12. "minimum": 1,
  13. "maximum": 100
  14. },
  15. "lineHeight": {
  16. "type": ["number", "null"]
  17. },
  18. "lineWidth": {
  19. "type": ["number", "null"]
  20. },
  21. "hideFrontMatter": {
  22. "type": "boolean"
  23. },
  24. "renderTimeout": {
  25. "type": "number"
  26. }
  27. },
  28. "properties": {
  29. "fontFamily": {
  30. "title": "Font Family",
  31. "description": "The font family used to render markdown.\nIf `null`, value from current theme is used.",
  32. "$ref": "#/definitions/fontFamily",
  33. "default": null
  34. },
  35. "fontSize": {
  36. "title": "Font Size",
  37. "description": "The size in pixel of the font used to render markdown.\nIf `null`, value from current theme is used.",
  38. "$ref": "#/definitions/fontSize",
  39. "default": null
  40. },
  41. "lineHeight": {
  42. "title": "Line Height",
  43. "description": "The line height used to render markdown.\nIf `null`, value from current theme is used.",
  44. "$ref": "#/definitions/lineHeight",
  45. "default": null
  46. },
  47. "lineWidth": {
  48. "title": "Line Width",
  49. "description": "The text line width expressed in CSS ch units.\nIf `null`, lines fit the viewport width.",
  50. "$ref": "#/definitions/lineWidth",
  51. "default": null
  52. },
  53. "hideFrontMatter": {
  54. "title": "Hide Front Matter",
  55. "description": "Whether to hide YAML front matter.\nThe YAML front matter must be placed at the top of the document,\nstarted by a line of three dashes (---) and ended by a line of\nthree dashes (---) or three points (...).",
  56. "$ref": "#/definitions/hideFrontMatter",
  57. "default": true
  58. },
  59. "renderTimeout": {
  60. "title": "Render Timeout",
  61. "description": "The render timeout in milliseconds.",
  62. "$ref": "#/definitions/renderTimeout",
  63. "default": 1000
  64. }
  65. },
  66. "additionalProperties": false,
  67. "type": "object"
  68. }