Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
These are just some nice and small gedit plug-ins. GEDITTOOLS: This is the major plugin. It comes along with - XML Highlighting, - Search Result Counting and - A Launcher For Diff Compare Tool "Meld" - Automatic Selection Highlighting. See README in ./gedittools for further details SORTDOCUMENT: A small plugin to sort a document alphabetically. No major stuff :-) Have fun!