Re: Interactive hat.

[Stefan Monnier]

> If it's possible to code everything we need with a symbol property, I
> think the interactive hat mechanism should be removed.

You got things backwards here: the "^" describes the behavior of the
command, so it should be part of the command, not its name.  The ability
to use a symbol property for that is a hack that can come in handy at
times, but it's still just a hack.


        Stefan