modules/diagnostic: rename diagnostic.config -> diagnostic.settings

Follow up to #3226, in line with the decisions made in #3254.
This commit is contained in:
Matt Sturgeon 2025-04-30 18:29:16 +01:00
parent 405a564f3d
commit 1df98b6636
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299
4 changed files with 14 additions and 8 deletions

View file

@ -1,6 +1,6 @@
{
example = {
diagnostic.config = {
diagnostic.settings = {
virtual_text = false;
virtual_lines.current_line = true;
};