annotate etc/gnus-pointer.xpm @ 54730:c33e4ac43939

(clear_mouse_face): Only clear mouse highlight if not hidden. (dos_rawgetc): Set mouse_face_hidden after clearing highlight.
author Kim F. Storm <storm@cua.dk>
date Mon, 05 Apr 2004 21:54:02 +0000
parents 20ca10cf58b3
children bb6c986199c4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31540
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* XPM */
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
2 static char *gnus-pointer[] = {
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
3 /* width height num_colors chars_per_pixel */
32161
20ca10cf58b3 Remove top empty line.
Miles Bader <miles@gnu.org>
parents: 31540
diff changeset
4 " 18 12 2 1",
31540
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
5 /* colors */
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
6 ". c #0000ff",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
7 "# c None s None",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
8 /* pixels */
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
9 "######..##..######",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
10 "#####........#####",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
11 "#.##.##..##...####",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
12 "#...####.###...##.",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
13 "#..###.######.....",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
14 "#####.########...#",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
15 "###########.######",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
16 "####.###.#..######",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
17 "######..###.######",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
18 "###....####.######",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
19 "###..######.######",
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
20 "###########.######"
774098937e4f *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
21 };