gedit latex-plugin läuft plötzlich nicht mehr

[rstuby]

Hallo!
Gestern Abend habe ich noch in gedit mit latex gearbeitet, und heute macht es auf einmal keinerlei Unterschied, ob ich das Plugin aktiviert habe oder nicht. Die Menüoptionen sind verschwunden.
Wo kann ich nachsehen, was falsch läuft?
Heute früh waren ein paar Aktualisierungen da, aber, soweit ich mich erinnere, keine für gedit. Außerdem bekommt Xubuntu 12.04 LTS doch sowieso nur noch Sicherheitsupdates und keine Paketaktualisierungen?
Kann ich irgendwo nachlesen, was heute früh aktualisiert wurde?

Und wo sind eigentlich die Konfigurationen von gedit gespeichert?

[rstuby]

Oh, hier https://bugs.launchpad.net/ubuntu/+s...in/+bug/957924 gibt es schon von letztem Jahr einen Bugreport über exakt das gleiche Problem und angeblich soll es jetzt gelöst sein. Komisch...

UPD: Oh, da steht ja auch, wie man es zum Laufen kriegt!

rm .config/gedit/latex/tools.xml
 rm .config/gedit/latex/latex.pkl

Hab's allerdings über den Dateimanager gemacht und nicht über die Konsole, aber jedenfalls war es das. LaTeX lässt sich wieder aus gedit aufrufen.