diff config.bat @ 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 9e48278ca4fb
children f5d8b003702f 0bdb5a16ae51
line wrap: on
line diff