tsv.json 2.2 KB

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