diff src/keyboard.h @ 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 fbbae2d9a2f4
children a8fa7c632ee4 7a0245dd1848 cb7f41387eb3
line wrap: on
line diff