language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-12-23 04:36:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

completion true/false

Browse source
This commit is contained in:
hatoo 2024-02-15 16:03:04 +09:00
parent c32ed4f43e
commit 423f7cb5ad
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/src_tree.rs
View file

@ -545,6 +545,11 @@ impl SrcTree {
kind: Some(CompletionItemKind::FUNCTION),
..Default::default()
})
.chain(vec!["true", "false"].into_iter().map(|s| CompletionItem {
label: s.to_string(),
kind: Some(CompletionItemKind::VARIABLE),
..Default::default()
}))
.collect();
}