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
