[racket-dev] drRacket Close/Close tab

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
>>>
>>