18e911002f
This PR forks a new version of the `zed_extension_api` in preparation for new changes. Release Notes: - N/A
11 lines
398 B
Text
11 lines
398 B
Text
interface context-server {
|
|
/// Configuration for context server setup and installation.
|
|
record context-server-configuration {
|
|
/// Installation instructions in Markdown format.
|
|
installation-instructions: string,
|
|
/// JSON schema for settings validation.
|
|
settings-schema: string,
|
|
/// Default settings template.
|
|
default-settings: string,
|
|
}
|
|
}
|