mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-08 17:02:17 +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.
23 lines
805 B
Plaintext
23 lines
805 B
Plaintext
package openidea:[email protected];
|
|
|
|
/// Optional export (world `plugin-diagnostics`): problems in the current,
|
|
/// possibly unsaved document, for the languages declared with the
|
|
/// `diagnostics` provider kind. Asked shortly after a document opens or
|
|
/// changes, under the editor-provider budget; it can't ask the user.
|
|
interface diagnostics-provider {
|
|
use diagnostics.{diagnostic};
|
|
|
|
/// The document to check (the editor's text, unsaved edits included).
|
|
record document {
|
|
/// Absolute path.
|
|
path: string,
|
|
language: string,
|
|
version: u64,
|
|
text: string,
|
|
}
|
|
|
|
/// The document's problems, at most 5,000; they replace what this
|
|
/// provider reported before, and an empty list removes them.
|
|
diagnostics: func(doc: document) -> list<diagnostic>;
|
|
}
|