comparison src/xterm.c @ 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 06038cdb686a
children c7a28d8cfff9 f8a7a9ba3d08
comparison
equal deleted inserted replaced
59766:8d2464efeb2e 59767:08c82797edef