[racket-dev] drRacket Close/Close tab

From: Marijn (hkBst at gentoo.org)
Date: Thu Sep 1 10:41:14 EDT 2011

-----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 <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.

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-----


Posted on the dev mailing list.