[racket-dev] drRacket Close/Close tab
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
>