On 07/29/2015 02:16 AM, David Edmundson wrote: > Cool, ship it. > > Two things to fixup. Good catches, thanks! I'll merge tomorrow/Thu after fixing the mouse wheel book. Cheers, Eike