[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Tue, 12 Aug 2003 19:22:41 -0400
If this feature can not be made to work satisfactorily with editing
the text, then I believe that the keymap should kill itself (and any
special coloring or fontification that would be associated with it)
upon editing of the text.
That might be a reasonable idea, but I don't think I want to try to
implement it now.
(That would automatically get rid of the
above bug.) The feature is mainly useful immediately after the
original command anyway.
I don't agree about that. The feature is usefu later too.