On Fri, 14 May 2010 13:15:38 -0400, Nelson Elhage <nelhage@MIT.EDU> wrote:
> This lets us pick up later changes to widget-keymap if the user
> customizes it in some way. This is the recommended way to use
> `widget-keymap', according to its help.
> ---
> 
> This goes on top of Sebastian's patch. See
> id:1273805175-6660-1-git-send-email-nelhage@ksplice.com, where I
> submitted a similar, but less thorough, patch as his.

Thanks. I've now committed both of Sebastian's as well as yours, here.

Presumably this means I can skip the "smaller, but less thorough" patch
I see from you later in my queue?

-Carl

-- 
carl.d.worth@intel.com