diff lispintro/makefile.w32-in @ 59767:08c82797edef

(widget-specify-button): If mouse pointer shape cannot be changed, use mouse face instead.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 29 Jan 2005 13:22:21 +0000
parents bb6720f21c54
children 23a17af379b1 4c90ffeb71c5
line wrap: on
line diff