plugins/treesitter-playground: mark as deprecated

This commit is contained in:
Gaetan Lepage 2023-08-29 07:40:57 +02:00 committed by Gaétan Lepage
parent 6c656c14d8
commit 8040f8422a
2 changed files with 17 additions and 95 deletions

View file

@ -1,29 +0,0 @@
{pkgs}: {
empty = {
plugins.treesitter.enable = true;
plugins.treesitter-playground.enable = true;
};
default = {
plugins.treesitter.enable = true;
plugins.treesitter-playground = {
enable = true;
disabledLanguages = [];
updateTime = 25;
persistQueries = false;
keybindings = {
toggleQueryEditor = "o";
toggleHlGroups = "i";
toggleInjectedLanguages = "t";
toggleAnonymousNodes = "a";
toggleLanguageDisplay = "I";
focusLanguage = "f";
unfocusLanguage = "F";
update = "R";
gotoNode = "<cr>";
showHelp = "?";
};
};
};
}