开发者 www.michaels-website.de/gedit-latex-plugin/