From 99c86bae15d22981e48c2d18f5903d7b4286f543 Mon Sep 17 00:00:00 2001 From: Evgeni Chasnovski Date: Sat, 8 Apr 2023 20:19:39 +0300 Subject: [PATCH] docs: add `hl-DiagnosticDeprecated` and `hl-DiagnosticUnnecessary` --- runtime/doc/diagnostic.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/runtime/doc/diagnostic.txt b/runtime/doc/diagnostic.txt index f888bb0991..025a7dccfc 100644 --- a/runtime/doc/diagnostic.txt +++ b/runtime/doc/diagnostic.txt @@ -295,6 +295,14 @@ DiagnosticSignHint DiagnosticSignOk Used for "Ok" signs in sign column. + *hl-DiagnosticDeprecated* +DiagnosticDeprecated + Used for deprecated or obsolete code. + + *hl-DiagnosticUnnecessary* +DiagnosticUnnecessary + Used for unnecessary or unused code. + ============================================================================== SIGNS *diagnostic-signs*