Re: [PATCH] Bind the mouse wheel by default