[racket-dev] drRacket Close/Close tab
I mean that the C-w key-binding isn't always available (at least w/
Emacs bindings on, it has the Emacs interpretation).
Shriram
On Thu, Aug 25, 2011 at 9:26 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> 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
>>>>>
>>>>
>>
>