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...

Best,

Pietro


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to