Ubuntu
gedit-latex-plugin package

  1. Bug #957924
  2. Comment #9

Comment 9 for bug 957924

Revision history for this message
Michiel Renger (dingenis) wrote :

Same here in Xubuntu 12.04. Indeed, whenever I make any change to the tools and quit gedit, an incomplete tools.xml is created:

<tools>
  <tool description="Create a PDF from LaTeX source" extensions=".tex" id="1"