diff src/minibuf.c @ 37726:1d2bd2c606e8

(note_mouse_highlight): Avoid changing the mouse pointer shape when show_mouse_face has already done it.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 14 May 2001 14:54:29 +0000
parents c98e0f6d63f2
children fd7c0dac2110 4e1eed1dee4e
line wrap: on
line diff