Plugin to use gtksourcecompletion with the devhelp library
improve the devhelp plugin of gedit to use gtksourcecompletion