diff options
author | monsta <[email protected]> | 2016-12-05 17:36:57 +0300 |
---|---|---|
committer | monsta <[email protected]> | 2016-12-05 17:36:57 +0300 |
commit | e1fbe56adf49a5f4d3a3bb493933d9ae5a5c081f (patch) | |
tree | db922a4aa29bfabf5572e44e334e23c19af3641c /plugins/docinfo/docinfo.pluma-plugin.desktop.in | |
parent | ce25be232024458af2a28f4cf145d8cd22f2db29 (diff) | |
download | pluma-e1fbe56adf49a5f4d3a3bb493933d9ae5a5c081f.tar.bz2 pluma-e1fbe56adf49a5f4d3a3bb493933d9ae5a5c081f.tar.xz |
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
Diffstat (limited to 'plugins/docinfo/docinfo.pluma-plugin.desktop.in')
-rw-r--r-- | plugins/docinfo/docinfo.pluma-plugin.desktop.in | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/plugins/docinfo/docinfo.pluma-plugin.desktop.in b/plugins/docinfo/docinfo.pluma-plugin.desktop.in deleted file mode 100644 index 990f2cd6..00000000 --- a/plugins/docinfo/docinfo.pluma-plugin.desktop.in +++ /dev/null @@ -1,7 +0,0 @@ -[Pluma 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 <[email protected]>;Jorge Alberto Torres <[email protected]> -Copyright=Copyright © 2002-2005 Paolo Maggi |