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 <s...@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 > <ro...@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 <s...@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 >>> <ro...@eecs.northwestern.edu> wrote: >>>> On Thu, Aug 25, 2011 at 9:12 AM, Marijn <hk...@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 >>>> >>> > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev