Jean-Marc Lasgouttes wrote:
rgheck <[EMAIL PROTECTED]> writes:
What is the difference between \bind and \addbind when a binding already
exists? What does \bind do when 2 bindings already exist?
\bind overrides the old binding. That is the extant behavior, and I'd
guess some people rely upon it. \addbind adds a new binding to the
list.
So what about the second part of my question? I ask because we will have
to keep the semantics of these things in the future, and therefore need
it to be sound.
It would overwrite them both. I think that makes sense, semantically.
The other option, I'd guess, would be to have \bind and \rebind, where
\bind either creates or adds, and \rebind does what \bind does now. But
then I think you'd probably want to do s/bind/rebind/ in all the bind
files, to make sure you get the effect you want.
rh
