>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. >So errorList() seems to have been returning different things the >two times. Very weird. Weird. Vincent
