On Thu, Sep 1, 2011 at 9:41 AM, Marijn <hk...@gentoo.org> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > On 09/01/11 16:29, Matthew Flatt wrote: >> At Thu, 1 Sep 2011 09:14:47 -0500, Robby Findler wrote: >>> On Wed, Aug 31, 2011 at 3:30 AM, Marijn <hk...@gentoo.org> >>> wrote: >>>>> I like the idea of adding shift, but I've changed things so >>>>> that instead of the w shortcut going away, the close menu >>>>> item becomes <menukey>-shift-w (so the shifting behavior is >>>>> still there and we are complying with the guidelines in the >>>>> no-tabs case). >>>> >>>> On Gtk nothing has changed for me. >>>> >>> >>> I've managed to get my ubuntu 10.04.1 vm back in shape and >>> rebuild drracket there and the various keybindings and menu items >>> seem to shift around as expected. >> >> Was that after commit 459d2422e3ad8? >> >> I looked into menu-item shortcuts this morning and pushed a >> Gtk-specific fix for updating the displayed shortcut. >> > > Alright, that probably explains it. I'll test again tomorrow to make sure.
Oh, I missed that commit! Yes, I expect it was afterwards. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev