[racket-dev] drRacket Close/Close tab

From: Marijn (hkBst at gentoo.org)
Date: Thu Aug 25 10:12:41 EDT 2011

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

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 think most programs that support tabs identify close tab with close
window when there is only a single tab open. I see drRacket does not as
Close Tab is greyed out when there is just one tab. I guess this is also
a valid choice and I wouldn't have been confused by this if the visual
cue in the menus had actually moved as intended.

Marijn

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5WWFkACgkQp/VmCx0OL2wk7ACeJlGCYy3qeuZaYlK3e8oGIU/M
EtoAn32RI5dR//YMj6pC2wWmgG0Il76I
=Y8IF
-----END PGP SIGNATURE-----


Posted on the dev mailing list.