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 _______________________________________________ Mc-devel mailing list [EMAIL PROTECTED] http://mail.gnome.org/mailman/listinfo/mc-devel