Abdelrazak Younes wrote:
Jean-Marc Lasgouttes wrote:
The following patch fixes the highly annoying behaviour of the
errorlist inset: every time it gets focus, it acts as if the first
error has been selected. This means in practice that it is not
possible to fix an error without closing the dialog.
This patch is for 1.4. It adds a flag telling whether the controller's
errorlist has been updated since last dialog update. Abdel, should I
do a 1.5 version, or do you have other plans?
Hum, please let's discuss that a bit. Even though there is a minor
potential conflict with my posted patch, I think the two patches are
orthogonal.
I am not sure I like the idea a non const errorList() access.
My plan is to change this accessor to:
ErrorList const & ControlErrorList::errorList(string const & type) const
{
return kernel().bufferview()->buffer()->errorList(type);
}
I am not sure in practice how this is going to be implemented in the
frontend but I guess we will need some new menu entries.
Abdel.
