mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-08 08:52:12 +00:00
l0ng-ai
ec171c3188
- workspace.symbols becomes the project method project.symbols(query, limit), like find-files; the Rust SDK's Project::symbols is unchanged, components built against the previous main need a rebuild. - The open-log-tab web message names its arguments args, as pty-spawn and the services process-log do; baseArgs is refused with log-error rather than ignored. - Document the hover, semantic-tokens and diagnostics provider exports and their worlds.
30 lines
948 B
Plaintext
30 lines
948 B
Plaintext
package openidea:[email protected];
|
|
|
|
/// Optional export (world `plugin-hover`): Markdown added to the hover of
|
|
/// documents of the languages declared with the `hover` provider kind,
|
|
/// including languages the plugin doesn't contribute. It shows below the
|
|
/// language server's hover, under the edit-path budget.
|
|
interface hover-provider {
|
|
use types.{position, range};
|
|
|
|
/// The document hovered (the editor's text while it is open).
|
|
record document {
|
|
/// Absolute path.
|
|
path: string,
|
|
language: string,
|
|
version: u64,
|
|
text: string,
|
|
}
|
|
|
|
/// What the plugin adds to the hover.
|
|
record hover-content {
|
|
/// At most 64 KiB.
|
|
markdown: string,
|
|
/// The text the hover describes; used when the server names none.
|
|
range: option<range>,
|
|
}
|
|
|
|
/// The hover at `at`, or `none` to add nothing.
|
|
hover: func(doc: document, at: position) -> option<hover-content>;
|
|
}
|