[racket-dev] drRacket Close/Close tab

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Aug 25 17:12:50 EDT 2011

For you, is this an issue with the underscores in the menu items? That is,
if the underscore moved from close to close tab would that help you at all?


On Thursday, August 25, 2011, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> Robby, this is something I've brought up before, too.  It may be the
> default on the Mac, but it's certainly strange behavior on other
> platforms.  I often find DrRacket disappearing on me and wondering
> why, then realizing...uh oh, close means something different.
> On Thu, Aug 25, 2011 at 1:30 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> On Thu, Aug 25, 2011 at 9:12 AM, Marijn <hkBst at gentoo.org> wrote:
>>> Hash: SHA1
>>> Hi Robby,
>>> On 08/25/11 14:13, Robby Findler wrote:
>>>> The intention is that "close" means "close window" and the
>>>> <menukey>-w shortcut moves between the close and close tab menu items
>>>> depending on how many tabs are open.
>>>> Are you seeing something different than that?
>>> On Linux, in my File menu the Ctrl-w shortcut is always listed as
>>> shortcut for Close, while Close Tab has no shortcut, but I see now that
>>> Ctrl-w's behavior is actually to close the current tab. So in this case
>>> my suggestion comes down to just relabelling the menu items from:
>>> File -> Close
>>> to
>>> File -> Close Window
>> I'm going to follow the apple human interface guidelines on this point
>> and leave things as they are:
>>> and fixing the moving of the Ctrl+W keybinding in the labels.
>>> Another option is to change:
>>> File -> Close (Ctrl+W)
>>> File -> Close Tab
>>> to
>>> File -> Close Window (Ctrl+Shift+W)
>>> File -> Close Tab (Ctrl+W)
>>> and not move the shortcuts depending on tab plurality.
>>> Firefox and Midori both have Ctrl+Shift+W bound to Close Window, so
>>> maybe that is a good candidate for drRacket too (if a shortcut beyond
>>> Alt+F4 is desired for Close Window). Other programs with tabs I checked
>>> only have one of Close Window and Quit, in each case bound to
>>> Ctrl+(Shift+)Q.
>> 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).
>> Robby
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://lists.racket-lang.org/listinfo/dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110825/67a37b31/attachment.html>

Posted on the dev mailing list.