diff make-dist @ 73811:1a4d9481d0bf

* whitespace.el (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:36:55 +0000
parents e68d05a41cab
children ddcbd2c1b70d 02cf29720f31
line wrap: on
line diff