manager.json 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. {
  2. "title": "Code Completion",
  3. "description": "Code Completion settings.",
  4. "jupyter.lab.setting-icon": "completer:widget",
  5. "jupyter.lab.setting-icon-label": "Code Completer",
  6. "jupyter.lab.transform": true,
  7. "properties": {
  8. "availableProviders": {
  9. "title": "Completion providers rank setting.",
  10. "description": "Providers with higher rank will be shown before the ones with lower rank, providers with negative rank are disabled.",
  11. "type": "object",
  12. "patternProperties": {
  13. "^.*$": {
  14. "type": "integer"
  15. }
  16. },
  17. "additionalProperties": false,
  18. "default": {
  19. "CompletionProvider:context": 500,
  20. "CompletionProvider:kernel": 550
  21. }
  22. },
  23. "providerTimeout": {
  24. "title": "Default timeout for a provider.",
  25. "description": "If a provider can not return the response for a completer request before timeout, the result of this provider will be ignored. Value is in millisecond",
  26. "type": "number",
  27. "default": 1000
  28. },
  29. "showDocumentationPanel": {
  30. "title": "Show the documentation panel.",
  31. "description": "Documentation panel setting.",
  32. "type": "boolean",
  33. "default": false
  34. },
  35. "autoCompletion": {
  36. "title": "Enable autocompletion.",
  37. "description": "Autocompletion setting.",
  38. "type": "boolean",
  39. "default": false
  40. },
  41. "suppressIfInlineCompleterActive": {
  42. "title": "Suppress when the inline completer is active",
  43. "description": "Whether to suppress the tab completer when inline completions are presented.",
  44. "type": "boolean",
  45. "default": true
  46. }
  47. },
  48. "additionalProperties": false,
  49. "type": "object"
  50. }