[gnome-builder] plugins/gettext: update .plugin
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/gettext: update .plugin
- Date: Tue, 12 Jul 2022 06:39:16 +0000 (UTC)
commit dfb18af6daa5572ea4dc7b9453877bac4463979e
Author: Christian Hergert <chergert redhat com>
Date: Mon Jul 11 22:45:33 2022 -0700
plugins/gettext: update .plugin
src/plugins/gettext/gettext.plugin | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/gettext/gettext.plugin b/src/plugins/gettext/gettext.plugin
index 9204cf242..70dd7fd62 100644
--- a/src/plugins/gettext/gettext.plugin
+++ b/src/plugins/gettext/gettext.plugin
@@ -2,10 +2,10 @@
Authors=Daiki Ueno
Builtin=true
Copyright=Copyright © 2016 Daiki Ueno
-Depends=editor;
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]