diff options
author | HumanEntity | 2024-01-17 17:23:46 +0000 |
---|---|---|
committer | GitHub | 2024-01-17 17:23:46 +0000 |
commit | 6754acd83ff0f6edf837611679c5f4424e14492e (patch) | |
tree | e855bbc34f7aa8fe100bdd9783a5af4b0de76c39 /runtime/queries/lean/injections.scm | |
parent | dcdecaab22e87ae8046e15aa461dc2604b1c67ad (diff) |
Made inlay-hints not look like normal code (#9370)
Added `"ui.virtual.whitespace" = { fg = "grey_dim" }` line
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions