Prevent some shortcuts from gobbling the next space.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 20 Nov 2009 10:42:56 +0000 (11:42 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 20 Nov 2009 10:43:30 +0000 (11:43 +0100)
commit56de744d12dde761456828e48af1e6f74c1790e0
tree0e860a6f717dda2cc748d92b81ad2edc9b77760b
parentc4be34f7feefa9a75c9ca24744d18a9341a2aa3f
Prevent some shortcuts from gobbling the next space.

Or rather, let them take a guess and reinsert the next space, I think, but
it seems to work.
Utils/Shortcuts.tex