[racket-dev] drRacket Close/Close tab

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Aug 25 08:13:02 EDT 2011

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?

Robby

On Thu, Aug 25, 2011 at 3:34 AM, Marijn <hkBst at gentoo.org> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> Hi,
>
> in drRacket in the File menu there are the option Close and Close Tab.
> File -> Close does not close the current file, but instead closes the
> whole program. Furthermore, it is bound to Ctrl+w, which in many
> browsers is bound to Close Tab, and in many terminal emulators (like
> LXTerminal, Konsole, Gnome Terminal) Ctrl+Shift+w means close tab. Close
> Program (usually called Quit) is bound to Ctrl+Q (Firefox) or
> Ctrl+Shift+Q (terminal emulators). Could drRacket follow these keybindings?
>
> Marijn
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2.0.17 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
>
> iEYEARECAAYFAk5WCREACgkQp/VmCx0OL2wXJACeIgC+GivVNvxHJV7V3RYdomyE
> FfUAn3M0q5Q6KrP+YiAg1VG1Pi44RKfR
> =LGP8
> -----END PGP SIGNATURE-----
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>



Posted on the dev mailing list.