inline-completer.json 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  1. {
  2. "title": "Inline Completer",
  3. "description": "Inline completer settings.",
  4. "jupyter.lab.setting-icon": "completer:inline",
  5. "jupyter.lab.setting-icon-label": "Inline Completer",
  6. "jupyter.lab.transform": true,
  7. "jupyter.lab.shortcuts": [
  8. {
  9. "command": "inline-completer:next",
  10. "keys": ["Alt ]"],
  11. "selector": ".jp-mod-completer-enabled",
  12. "preventDefault": false
  13. },
  14. {
  15. "command": "inline-completer:previous",
  16. "keys": ["Alt ["],
  17. "selector": ".jp-mod-completer-enabled",
  18. "preventDefault": false
  19. },
  20. {
  21. "command": "inline-completer:accept",
  22. "keys": ["Tab"],
  23. "selector": ".jp-mod-inline-completer-active"
  24. },
  25. {
  26. "command": "inline-completer:accept",
  27. "keys": ["Alt End"],
  28. "selector": ".jp-mod-inline-completer-active"
  29. },
  30. {
  31. "command": "inline-completer:invoke",
  32. "keys": ["Alt \\"],
  33. "selector": ".jp-mod-completer-enabled",
  34. "preventDefault": false
  35. }
  36. ],
  37. "properties": {
  38. "providers": {
  39. "title": "Inline completion providers",
  40. "type": "object",
  41. "default": {}
  42. },
  43. "showWidget": {
  44. "title": "Show widget",
  45. "description": "When to show the inline completer widget.",
  46. "type": "string",
  47. "oneOf": [
  48. { "const": "always", "title": "Always" },
  49. { "const": "onHover", "title": "On hover" },
  50. { "const": "never", "title": "Never" }
  51. ],
  52. "default": "onHover"
  53. },
  54. "showShortcuts": {
  55. "title": "Show shortcuts in the widget",
  56. "description": "Whether to show shortcuts in the inline completer widget.",
  57. "type": "boolean",
  58. "default": true
  59. },
  60. "suppressIfTabCompleterActive": {
  61. "title": "Suppress when the tab completer is active",
  62. "description": "Whether to suppress the inline completer when the tab completer suggestions are shown.",
  63. "type": "boolean",
  64. "default": true
  65. },
  66. "streamingAnimation": {
  67. "title": "Streaming animation",
  68. "description": "Transition effect used when streaming tokens from model.",
  69. "type": "string",
  70. "oneOf": [
  71. { "const": "none", "title": "None" },
  72. { "const": "uncover", "title": "Uncover" }
  73. ],
  74. "default": "uncover"
  75. },
  76. "minLines": {
  77. "title": "Reserve lines for inline completion",
  78. "description": "Number of lines to reserve for the ghost text with inline completion suggestion.",
  79. "type": "number",
  80. "default": 0,
  81. "minimum": 0
  82. },
  83. "maxLines": {
  84. "title": "Limit inline completion lines",
  85. "description": "Number of lines of inline completion to show before collapsing. Setting zero disables the limit.",
  86. "type": "number",
  87. "default": 0,
  88. "minimum": 0
  89. },
  90. "reserveSpaceForLongest": {
  91. "title": "Reserve space for the longest candidate",
  92. "description": "When multiple completions are returned, reserve blank space for up to as many lines as in the longest completion candidate to avoid resizing editor when cycling between the suggestions.",
  93. "type": "boolean",
  94. "default": false
  95. },
  96. "editorResizeDelay": {
  97. "title": "Editor resize delay",
  98. "description": "When an inline completion gets cancelled the editor may change its size rapidly. When typing in the editor, the completions may get dismissed frequently causing a noticeable jitter of the editor height. Adding a delay prevents the jitter on typing. The value should be in milliseconds.",
  99. "type": "number",
  100. "default": 1000,
  101. "minimum": 0
  102. }
  103. },
  104. "additionalProperties": false,
  105. "type": "object"
  106. }