add a post-gedit plugin