Pedro Pessoa e0982cc51d feat(plugins): brand document-indexer gutter markers with marker icons (#2196) ...

Indexed markers (Edges.markers) were always drawn with the navigation glyph,
so a plugin couldn't tell its marker kinds apart. A [[contributes.markerIcons]]
entry can now claim them by key prefix (`markers`), with an optional
`tooltip` shown above the targets. The host matches the longest prefix and
sends the declaration id with each marker; the editor resolves the icon and
the translated tooltip from the projected declaration. Manifest only, under
the existing API 1.3 gate of markerIcons.

Closes #2194

2026-11-09 04:53:03 +08:00

..

assets

docs(readme): add a Community section with Discord and the WeChat group

2026-11-05 20:38:02 +08:00

media

chore: rm useless files

2026-10-28 10:45:25 +08:00

plugins

feat(plugins): brand document-indexer gutter markers with marker icons (#2196)

2026-11-09 04:53:03 +08:00

command-line.md

feat(app): install the openidea command on macOS, Windows and Linux (#2009)

2026-11-08 19:25:50 +08:00

databases.md

feat(database): Oracle data source support (#1510)

2026-11-06 09:57:03 +08:00

java.md

feat(java): add kmp-lsp as an alternative language server (#1891)

2026-11-07 08:51:43 +08:00

themes.md

chore: Format the codebase with oxfmt and check formatting in CI (#135)

2026-10-28 19:35:16 +08:00