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 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions