On 03/12/2010 05:49 PM, Vincent van Ravesteijn - TNW wrote:
I think it is related, but I don't really understand what's happening
here. The attached seems to work, though.
Is there a typo in GuiErrorList::errorList(), where we have:
if (&bufferview()->buffer() == buf_) Should it be "!="? I guess I
don't
understand what should happen in that case.
No, that should be ok. It means that the GuiErrorList should not try to
fetch a new errorlist from the buffer if the buffer is not the same
buffer as the one for which the errors were set.
OK. Want to add a comment or two? ;-)
So errorList() seems to have been returning different things the
two times. Very weird.
Weird.
Must be some optimization issue. I added some debug code to print out
the address of error_list_, and it was the same both times. Still,
error_list_.begin() was singular in the old version.
rh
