[server]

Language server configuration.

Guide: Server.

server.code_lenses

Type:

boolean

Default:

true

Whether to show the inline per-need editor CodeLens overlays (code/test navigation, related-need navigation, and gap reasons above each need directive). Disable to remove the lens line above every need.

server.hover_images

Type:

boolean

Default:

true

Whether to enable hover images.

server.hover_need_refs

Type:

boolean

Default:

true

Whether to enable hover tips for need references.

server.image_file_patterns

Type:

array of strings

A list of file patterns that are considered image files, used for autocompletion of image/figure directives.

server.index_debounce_ms

Type:

integer

Default:

500

Trailing debounce window, in milliseconds, for save-triggered background indexing.

A save starts an index pass only after this quiet window elapses with no further save, so a burst of rapid saves (e.g. from editor autosave) coalesces into a single pass over the latest on-disk content. 0 disables the debounce (index immediately on every save). Only affects the save trigger — opening a document and the explicit reindex command always index immediately.

server.index_on_save

Type:

boolean

Default:

true

Whether to run background indexing of the project every time a source document is saved.

Enabled by default so cross-file features (diagnostics, preview hydration) stay current after a save; the index_debounce_ms trailing debounce keeps rapid (e.g. autosave) saves from triggering a pass per keystroke burst.