[gnome-builder/wip/gtk4-port: 625/1774] plugins/gettext: set category to diagnostics
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 625/1774] plugins/gettext: set category to diagnostics
- Date: Mon, 11 Jul 2022 22:31:18 +0000 (UTC)
commit 10ea3bdf870dbec5ac3ac57953121d47db2c409a
Author: Christian Hergert <chergert redhat com>
Date: Tue Apr 19 13:28:06 2022 -0700
plugins/gettext: set category to diagnostics
src/plugins/gettext/gettext.plugin | 1 +
1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/gettext/gettext.plugin b/src/plugins/gettext/gettext.plugin
index 5d65039a5..70dd7fd62 100644
--- a/src/plugins/gettext/gettext.plugin
+++ b/src/plugins/gettext/gettext.plugin
@@ -6,5 +6,6 @@ Description=Provides integration with Gettext
Embedded=_ide_gettext_register_types
Module=gettext
Name=Gettext
+X-Category=diagnostics
X-Diagnostic-Provider-Languages-Priority=100
X-Diagnostic-Provider-Languages=c,chdr,cpp,js,python,vala
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]