[racket-dev] drRacket Close/Close tab

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Thu Aug 25 21:03:39 EDT 2011

Yes, Robby, that would be great.   The default should be to close as
little as possible, not as much as possible.

On Windows 7:

In Firefox, File | _C_ is indeed close *TAB*.

In Chrome, there isn't even a close tab menu option.  You can Exit
(which is pretty unambiguous) or you can kill the tab w/ C-w (which
won't work in DrRacket) or by clicking on the (X) for the tab.

So I expect Firefox users would be especially surprised (and
displeased) by DrRacket's behavior.


On Thu, Aug 25, 2011 at 5:12 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> 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?
> Robby
> 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:
>>> http://developer.apple.com/library/mac/#documentation/UserExperience/Conceptual/AppleHIGuidelines/Menus/Menus.html
>>>> 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

Posted on the dev mailing list.