pluma/plugins/time/time.plugin.desktop.in, branch v1.17.1 Official text editor of the MATE desktop environment plugins: make them actually recognized and loaded by Pluma 2016-12-05T14:36:57+00:00 monsta monsta@inbox.ru 2016-12-05T14:36:57+00:00 e1fbe56adf49a5f4d3a3bb493933d9ae5a5c081f - 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 
- 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