view src/point.h @ 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 3165b2697c78
children 695cf19ef79e
line wrap: on
line source

#define point_width 5
#define point_height 19
static char point_bits[] = {
   0x1f, 0x0e, 0x0e, 0x04, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0x00, 0x00, 0x04, 0x04, 0x0e, 0x0e, 0x1f};