[racket-dev] drRacket Close/Close tab

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Aug 25 21:26:37 EDT 2011

What do you mean by "you can kill the tab w/ C-w (which won't work in
DrRacket)"?

On Thu, Aug 25, 2011 at 8:03 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> 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.
>
> Shriram
>
> 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:
>>>>> -----BEGIN PGP SIGNED MESSAGE-----
>>>>> 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.