diff configure @ 73812:75af8d959739

(whitespace-buffer): Call remove-overlays after overlay-recenter for performance. Suggested by Martin Rudalics.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 07 Nov 2006 17:37:14 +0000
parents e6d2c7dae5c8
children 81e2aa4e866f 0912b745fc75 7eeafaaa9eab
line wrap: on
line diff