mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-14 16:07:52 +00:00
LU XIANGRUIandLU XIANGRUI
ff17c3753f
- Add ui.notify-project: it shows only in that project's window (the most recently focused one if there are several) and works without a calling window - Button commands run in the window showing the notification; a closed project returns not-found, with nothing shown and no fallback to another window - Bump the plugin API to 1.5.0 (wit/, SDK copy, ENGINE_VERSION, API_VERSION) and rebuild all components - Add Project::notify and its mock to the SDK; update plugins/README.md Co-authored-by: LU XIANGRUI <26499420+wildcatDownstairs@users.noreply.github.com>
17 lines
874 B
Plaintext
17 lines
874 B
Plaintext
package openidea:plugin@1.5.0;
|
|
|
|
/// Embedded languages. The host routes plugin providers and configured language
|
|
/// servers inside these ranges, preserving host-document UTF-16 coordinates.
|
|
/// Each LSP range gets its own masked, in-memory sibling document (at most 32
|
|
/// per host document, documents over 2 MiB excluded). No file is written.
|
|
/// Formatting and rename continue to use the host language's server.
|
|
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>;
|
|
}
|