[racket-dev] drRacket Close/Close tab

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

Hash: SHA1

On 09/01/11 16:14, 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. I've put a screenshot here to illustrate 
> what I mean.
> This is the file menu I see when there is just one tab (right
> after drracket starts up):
> http://www.eecs.northwestern.edu/~robby/tmp/one-tab.png
> Then, after creating a tab, this is the file menu that I see:
> http://www.eecs.northwestern.edu/~robby/tmp/two-tabs.png
> Robby

Interesting, for me only whether Close tab is disabled changes, but
not the displayed keybindings. I have both gtk+-2.24.5 and gtk+-3.0.12
installed. Not sure what else could make the difference. Any other
Linux users with test data?

Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/


Posted on the dev mailing list.