On 3/28/2012 7:02 PM, Rolf Eike Beer wrote: > Ok, I now added this patch also (and improved some others). > > Please review, The general form of each change looks correct. I did not thoroughly think through each individual change though. Thanks, -Brad