Re: [PATCH] Add 'Ignore ...' buttons to error msg window

[David Sterba <dave jikos cz>]

Hi,

> What about keeping current buttons, but changing 'Ignore' from 'Ignore
> all' to 'Ignore similar'? That seems right the right thing to do
> (without having to explain what Ignore similar means).

I think it will be more consistent with other commanders to have
buttons for 'ignore' (just one) and 'ignore all' (for all such errors).
If a new error type pops up the user shall choose again.

So, the button 'Ignore similar' got removed.


David