-----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. Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk5fmYoACgkQp/VmCx0OL2wuVQCfYSx13oaZCSuBOpfWleJuqn7Z daAAn3+o7qanxUXvT90Wp/3qsQAA9GYt =tRjD -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev