plugins/neo-tree: add window.mappings to document_symbol (#716)

This commit is contained in:
André Vitor de Lima Matos 2023-11-22 10:30:45 -03:00 committed by GitHub
parent 5be1867dd1
commit 796e7391ce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -975,6 +975,7 @@ in {
https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_documentSymbol https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_documentSymbol
''; '';
}; };
window = mkWindowMappingsOption "{}";
}; };
}; };
@ -1215,6 +1216,7 @@ in {
cfg.documentSymbols.customKinds cfg.documentSymbols.customKinds
)) ))
+ "}"; + "}";
window = processWindowMappings cfg.documentSymbols.window;
}; };
} }
// cfg.extraOptions; // cfg.extraOptions;