mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-06 16:08:05 +00:00
l0ng-ai
fd1f465aeb
Rework the plugin system per docs/plugin_plan.md (P0–P8): - Extension-point registry (ide-extension) so new contribution types register without touching the kernel; languages, run detectors, providers, views and UI contributions go through it. - Per-plugin capability consent with a risk-graded ledger; process capabilities are pinned to resolved binary paths and hashes. - Async, actor-per-plugin Wasm runtime with lazy activation, cancellation, events, long-running tasks and idle reclamation. - Plugin host moved into ide-host, shared by local and remote projects. - Distribution: install/package tooling (openidea-plugin bin) and a static market index. - WIT frozen as openidea:plugin@1.0.0; Rust SDK with mock host. - Ten official validation plugins under plugins/official.
18 lines
476 B
JSON
18 lines
476 B
JSON
{
|
|
"properties": {
|
|
"firstRowIsHeader": {
|
|
"type": "boolean",
|
|
"title": "First row is the header",
|
|
"description": "Show the first record as column names instead of a row.",
|
|
"default": true
|
|
},
|
|
"delimiter": {
|
|
"type": "string",
|
|
"title": "Delimiter",
|
|
"description": "auto: tab for .tsv files, else the most frequent of , ; | in the first line.",
|
|
"enum": ["auto", ",", ";", "|", "tab"],
|
|
"default": "auto"
|
|
}
|
|
}
|
|
}
|