me at pietrobattiston.it
Wed Jan 7 12:41:30 UTC 2015
Mike, sorry for seeing your reply now only.
You say this has a workaround, "which is used by all known gedit
plugins shipped in Debian", but this sentence is false for
gedit-latex-plugin (see my last comment). Have you checked others?
Notice the bug is only triggered by a _combination_ of two plugins, so
testing each plugin separately doesn't help.
If the mere fact that nobody is working on a fix could make any given
bug non-critical, it would be soooo easy to release early...
More information about the pkg-gnome-maintainers