I think this bug has a workaround. I'm not sure this will work on 12.04, for I'm still using 11.10 and it worked there. The idea is to copy /usr/share/gedit/plugins/latex/tools.xml over $HOME/.config/gedit/latex/tools.xml using root user priviledges. This will prevent the local file to be overwritten, because everytime gedit is opened the local tools.xml gets corrupted. This also implies that you cannot edit this file as a normal user through the plugin "Preferences" dialog. An alternative method would be to copy the file as superuser, change ownership to a normal user, modify the tools through the Preferences dialog, and then change the ownership back to root. I didn't have the time to have a look at the code to find out the reasons for this silly behavior (i.e. why most of the text in the local tools.xml gets chopped off), so someone is strongly encouraged to do so and come up with a fix for this.
Cheers. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/996076 Title: gedit latex plugin does not work To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/996076/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
