From e1fbe56adf49a5f4d3a3bb493933d9ae5a5c081f Mon Sep 17 00:00:00 2001 From: monsta Date: Mon, 5 Dec 2016 17:36:57 +0300 Subject: plugins: make them actually recognized and loaded by Pluma - use *.plugin extension instead of *.pluma-plugin - use "Plugin" section name instead of "Pluma Plugin" mostly adapted from: https://git.gnome.org/browse/gedit/commit/?id=1d56b827f14096891bb03dbd5e8211fdad1331ad https://git.gnome.org/browse/gedit/commit/?id=7c22769d73f756b9d1388febd147c9d267ed54cb --- plugins/docinfo/docinfo.plugin.desktop.in | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 plugins/docinfo/docinfo.plugin.desktop.in (limited to 'plugins/docinfo/docinfo.plugin.desktop.in') diff --git a/plugins/docinfo/docinfo.plugin.desktop.in b/plugins/docinfo/docinfo.plugin.desktop.in new file mode 100644 index 00000000..b4da32b0 --- /dev/null +++ b/plugins/docinfo/docinfo.plugin.desktop.in @@ -0,0 +1,7 @@ +[Plugin] +Module=docinfo +IAge=2 +_Name=Document Statistics +_Description=Analyzes the current document and reports the number of words, lines, characters and non-space characters in it. +Authors=Paolo Maggi ;Jorge Alberto Torres +Copyright=Copyright © 2002-2005 Paolo Maggi -- cgit v1.2.1