Re: [PATCH] fix selection of error range through errorlist dialog

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

Re: [PATCH] fix selection of error range through errorlist dialog

Jean-Marc Lasgouttes wrote: > The following patch fixes in the common cases the selection relevant > document range when clicking on an entry of the errorlist dialog. Cool, thanks! Alfredo