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
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