diff etc/NEWS @ 88115:becc5f138486

(global-whitespace-mode): When turning off the global mode, turn off the local modes too if whitespace is being unloaded. (whitespace-unload-function): New function.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 01 Feb 2008 11:23:22 +0000
parents 35cce79c1900
children c70e45a7acfd aa2844e3724f
line wrap: on
line diff