diff BUGS @ 57147:049bdfb5d92f

(enriched-rerun-flag): New variable. (enriched-before-change-major-mode): New function. Add it to `change-major-mode-hook'. (enriched-after-change-major-mode): New function. Add it to `after-change-major-mode-hook'. (enriched-mode): Make it work correctly if called from `after-change-major-mode-hook'. No longer set `indent-line-function'.
author Luc Teirlinck <teirllm@auburn.edu>
date Sun, 19 Sep 2004 00:12:43 +0000
parents 8ce686bd7f4f
children fb8bf24d2eb9
line wrap: on
line diff