Skip to content

Move the document symbol filter into the NotebookConfig - #12

Merged
thomasjm merged 1 commit into
client-req-configfrom
server-rsp-config
Oct 12, 2026
Merged

Move the document symbol filter into the NotebookConfig#12
thomasjm merged 1 commit into
client-req-configfrom
server-rsp-config

Move the document symbol filter into the NotebookConfig

0d2391a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Nix
succeeded Oct 12, 2026 in 10s