[gedit] gschema: update description of the active-plugins key
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] gschema: update description of the active-plugins key
- Date: Thu, 30 Apr 2020 20:27:30 +0000 (UTC)
commit 94eda5bf4c410948550b64403fec611c56738e82
Author: Sébastien Wilmet <swilmet gnome org>
Date: Thu Apr 30 22:13:08 2020 +0200
gschema: update description of the active-plugins key
data/org.gnome.gedit.gschema.xml.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/org.gnome.gedit.gschema.xml.in b/data/org.gnome.gedit.gschema.xml.in
index 462c73186..9272217c2 100644
--- a/data/org.gnome.gedit.gschema.xml.in
+++ b/data/org.gnome.gedit.gschema.xml.in
@@ -299,7 +299,7 @@
<key name="active-plugins" type="as">
<default>[@ACTIVE_PLUGINS@]</default>
<summary>Active plugins</summary>
- <description>List of active plugins. It contains the “Location” of the active plugins. See the
.gedit-plugin file for obtaining the “Location” of a given plugin.</description>
+ <description>List of active plugins.</description>
</key>
</schema>
</schemalist>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]