[racket-dev] drRacket Close/Close tab
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi Matthew,
On 09/01/11 16:41, Marijn wrote:
> 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 <hkBst at 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.
It now works for me too. Thanks,
Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk5gg7MACgkQp/VmCx0OL2wWxQCfdI9CZWxBDy0BEaZlplHvUx4o
inAAoJe6JT3LIkGqzfpEs/a++TxWlqTf
=wtt/
-----END PGP SIGNATURE-----