mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-08 08:52:12 +00:00
Arnaud Ritti
1446d5592c
Closes #1952 API 1.3 adds a diagnostics provider for unsaved documents: the host sends versioned text for the declared languages after a 300 ms debounce, cancels superseded calls, drops late or stale answers under the editor-provider budget, and clears results with the document, project or plugin. Ranges are UTF-16. Actor panics are contained, queued work is rejected after a host panic, and diagnostics arriving after plugin cleanup are discarded. Verified on macOS with the diagnostics fixture. Co-authored-by: arnaud-ritti <[email protected]>
24 lines
486 B
TOML
24 lines
486 B
TOML
id = "test.diagnostics"
|
|
name = "Diagnostics fixture"
|
|
version = "0.1.0"
|
|
engines.openidea = "^1.3"
|
|
wasm = "dist/plugin.wasm"
|
|
[capabilities]
|
|
required = ["project.read"]
|
|
|
|
[[contributes.providers]]
|
|
kinds = ["diagnostics"]
|
|
languages = ["text", "plaintext"]
|
|
|
|
[[contributes.commands]]
|
|
id = "publish"
|
|
title = "Publish fixture diagnostic"
|
|
|
|
[[contributes.commands]]
|
|
id = "calls"
|
|
title = "Diagnostics fixture call count"
|
|
|
|
[[contributes.commands]]
|
|
id = "wait"
|
|
title = "Wait for diagnostics fixture"
|