specifically:
- make <menukey>-9 always go to the last tab
(following chrome, as suggested by Jens Axel)
- make the <menukey>-1 thru <menukey>-9 menu items
always be present in the menu, even when there aren't
tabs, so that the shortcuts always appear taken
(and so that cmd-4 never inserts a 4 into your buffer)
No need to limit ourselves to x86.
Regardless of architecture, sun_path is always 108 bytes long on Linux.
Signed-off-by: Jan Dvořák <mordae@anilinux.org>
Improves tests/typed-racket/succeed/new-metrics.rkt by about 33% overall runtime.
Major changes include:
- Handling memoization entirely inside the `subtype*` function.
- Remembering only previously seen pairs of types when one of them
might be a recursive type (such as Mu or a structure).
Thanks to Ryan Newtown for this this idea, which enables the
previous change as well.
- Doing as much as possible without touching parameters.
(Unfortunately, not as much as I hoped was possible here).
- Replacing uses of => in `match` with #:when (written for this purpose).
- Significant improvement to the `Type-key` system so that it is
useful much more often.
- Use of unsafe operations.
- Minor optimizations to a few other operations.
This commit definitely takes the position that
"beautiful" code is less important than reasonable
error messages; better if the code were refactored
so the names flow through it more gracefully
This makes the build more secure, but it's a backward-incompatible change.
To adapt old site-configuration scripts, the simplest option is to set
`#:server' to "localhost" everywhere and rely on SSH tunneling to let
a client reach a server (though, unfortunately, that option doesn't
seem to work if a Windows machine uses freeSSHd). Another possibility
is to se `#:server-hosts' to the empty list.
Client SSH connections now create remote port forwarding port back
to the server, so that making the server listen only on "localhost"
provides an easy improvement for security (except that remote port
forwarding seems not to work with freeSSHd on Windows).
