Программы www.michaels-website.de/gedit-latex-plugin/
-
Gedit LaTeX Plugin Бесплатный
Плагин для редактора Gnome gedit, который поддерживает вас в редактировании документов LaTeX и библиографий BibTeX.
Плагин для редактора Gnome gedit, который поддерживает вас в редактировании документов LaTeX и библиографий BibTeX.