Comment 2 for bug 721198

Revision history for this message
Manu (manubing) wrote :

Hi Guillaume,

Thanks for your feedback and links to java-gnome issue.

I fully understand the problem caused by the handling of this error, but in the meantime there should be a way to catch this exception upfront in GnomeSplit, no?

Manu