comparison man/reftex.texi @ 37036:ee6711c482a3

(realize_basic_faces): Decrement menu_face_change_count instead of setting it to zero; it's incremented for each frame where the menu face is changed.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 28 Mar 2001 12:45:54 +0000
parents 45500c80145f
children 528310f62c34
comparison
equal deleted inserted replaced
37035:b7bd53c4820a 37036:ee6711c482a3