diff oldXMenu/X10.h @ 109084:9e474f641740

Don't always set ruler-mode-header-line-format-old (Bug#5370). * ruler-mode.el (ruler--save-header-line-format): New fun. (ruler-mode): Use it as a setter function, so as not to overwrite ruler-mode-header-line-format-old if Ruler mode is on (Bug#5370).
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 30 Jun 2010 18:43:52 -0400
parents fec5e03aaf59
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
line wrap: on
line diff