diff make-dist @ 63057:3949ec3f5f5a

(compilation-start): Move `erase-buffer' up before selecting the desired mode to not spend time fontifying old contents.
author Juri Linkov <juri@jurta.org>
date Mon, 06 Jun 2005 12:27:44 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff