some updates

This commit is contained in:
gwg313 2024-09-20 15:26:06 -04:00
parent db319ed5af
commit 6e8014e0b5
Signed by: gwg313
GPG key ID: 60FF63B4826B7400
13 changed files with 153 additions and 14 deletions

View file

@ -74,6 +74,8 @@
pyright.enable = true;
hls.enable = true;
leanls.enable = true;
texlab.enable = true;
html.enable = true;
};
};
which-key.settings.spec = [