[gnome-builder/wip/gtk4-port: 1170/1774] plugins/eslint: fix category for eslint
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 1170/1774] plugins/eslint: fix category for eslint
- Date: Mon, 11 Jul 2022 22:31:37 +0000 (UTC)
commit 8690a500cdd598d920c7066ea79480e8797adb40
Author: Christian Hergert <chergert redhat com>
Date: Wed May 25 22:18:39 2022 -0700
plugins/eslint: fix category for eslint
src/plugins/eslint/eslint.plugin | 1 +
1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/eslint/eslint.plugin b/src/plugins/eslint/eslint.plugin
index 1eafe47ed..30fe4a6e5 100644
--- a/src/plugins/eslint/eslint.plugin
+++ b/src/plugins/eslint/eslint.plugin
@@ -5,5 +5,6 @@ Description=Provides linting of JavaScript and TypeScript files using eslint
Embedded=_gbp_eslint_register_types
Module=eslint
Name=ESLint
+X-Category=diagnostics
X-Diagnostic-Provider-Languages-Priority=100
X-Diagnostic-Provider-Languages=js,typescript
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]