дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-09 19:25:54 +02:00
l0ng-ai
047cac209b
Plugin API 1.4: grants for unencrypted HTTP, local sockets, IDE commands and owned database sources; window status items, output channels, content tabs, editor selections, decorations, search, Problems and VCS reads; runs, keyed terminals with exit events, plugin run targets, dynamic run configurations and test parsers; language features, injections, snippets and menu locations; plugin MCP tools on the built-in server; four official API examples. Released 1.3 plugins keep working.
13 рядки
576 B
Plaintext
13 рядки
576 B
Plaintext
package openidea:[email protected];
|
|
|
|
/// Embedded languages. This host routes plugin providers, not embedded LSP servers.
|
|
interface injections {
|
|
/// A versioned document snapshot. Coordinates are zero-based UTF-16.
|
|
record document { path: string, language: string, version: u64, text: string }
|
|
/// A host-document range containing the named language.
|
|
record injection { range: range, language: string }
|
|
use types.{range};
|
|
/// Embedded ranges, refreshed after edits under the editor-provider budget.
|
|
injections: func(doc: document) -> list<injection>;
|
|
}
|