diff oldXMenu/Destroy.c @ 97739:77e42c247dba

(linum): Inherit remaining face attributes from default face. (linum-delay): Disable - it should no longer be necessary, and can lead to longer delays. (linum-update-window): Renumber if margin width has changed.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 26 Aug 2008 20:50:01 +0000
parents fec5e03aaf59
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
line wrap: on
line diff