[racket-dev] drRacket Close/Close tab

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Sep 1 10:29:45 EDT 2011

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.



Posted on the dev mailing list.