plugins/quickhighlight/quickhighlight.plugin.desktop.in


1
2
3
4
5
6
7
8

[Plugin]
Module=quickhighlight
IAge=3
Name=Quick Highlight
Description=Highlights every occurrences of selected text.
Authors=Martin Blanchard <tchaik@gmx.com>
Copyright=Copyright © 2016 Martin Blanchard
Website=http://www.gedit.org