[racket-dev] drRacket Close/Close tab

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Sep 1 10:45:23 EDT 2011

On Thu, Sep 1, 2011 at 9:41 AM, Marijn <hkBst at gentoo.org> wrote:
> 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.

Oh, I missed that commit! Yes, I expect it was afterwards.

Posted on the dev mailing list.