дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-08 19:02:17 +02:00
l0ng-ai
48ac2094fc
Language servers can be configured from settings.toml (global or project) and Settings › Language Servers: arguments, environment, initialization options and workspace settings per server, enable/disable, and any stdio LSP server can be added for a language. Settings-only changes are pushed with workspace/didChangeConfiguration; launch changes restart the server. Also: re-enabling a server now detaches and stops the fallback that stood in for it, and a server added from the dialog is written as its own [languageServers.<name>] table. Claude-Session: https://claude.ai/code/session_01VUYsdXA2nkF5v6zsC93dpn
16 рядки
402 B
TOML
16 рядки
402 B
TOML
[package]
|
|
name = "ide-core"
|
|
description = "Shared vocabulary of OpenIDEA: ids, text coordinates, events, errors, settings"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
|
|
[dependencies]
|
|
dunce.workspace = true
|
|
serde.workspace = true
|
|
serde_json.workspace = true
|
|
specta.workspace = true
|
|
specta-typescript.workspace = true
|
|
thiserror.workspace = true
|
|
tokio-util.workspace = true
|