diff src/w32gui.h @ 42488:cbf9d3debb0a

(facemenu-active-faces): Use face-attributes-as-vector, not face-attributes-vector.
author Richard M. Stallman <rms@gnu.org>
date Wed, 02 Jan 2002 22:56:04 +0000
parents 57a44aac3228
children 994f2deaa5bc
line wrap: on
line diff