Re: enriched-mode and switching major modes.

[Luc Teirlinck]

Stefan Monnier wrote:

   I lost some of the context, but enriched-old-bindings is (or should be)
   permanent-local (at least as long as eriched-mode is).

`enriched-old-bindings' should definitely _not_ be permanent local.
It is supposed to restore the major mode bindings overridden by
Enriched mode.  If the major mode changes, `enriched-old-bindings'
should be updated.

   I wouldn't worry so much about the future: it leads to overengineering.
   Also if you look at the past, you'd see that enriched-mode hasn't been
   growing that much, so the risk is indeed not as clear as you seem to imply.

What I am worried about is consistency.  If one sees (Foo Enriched)
in the mode line,  one should not have to worry about which of
Foo mode or Enriched mode was enabled first.  With my patch it does
not matter.  This is the only solid and predictable solution.

It is not just the future but also user customizations of Enriched
mode.  Also, if there are not going to be major future additions, then
we can quite as well quit worrying about Enriched mode altogether.  It
is very much an unfinished feature.  Enriched mode is supposed to grow
into a full blown word processor, supporting a variety of file
formats.  It is far from that right now.

Sincerely,

Luc.