>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
Jean-Marc> The following patch fixes in the common cases the selection Jean-Marc> relevant document range when clicking on an entry of the Jean-Marc> errorlist dialog. There are still cases where this does not Jean-Marc> work at all, the worst being when the error is in a text Jean-Marc> inset. This would require more work (in particular passing Jean-Marc> the main TexRow object to the underlying textinset). Jean-Marc> I will commit tomorrow if nobody objects. Done. JMarc
