view etc/gnus-pointer.xpm @ 45292:e3ba76f78075

(dabbrev-case-distinction): New option. (dabbrev--try-find): Handle dabbrev-case-distinction. (dabbrev--search): Clean up the code. (dabbrev-upcase-means-case-search): Doc fix. (dabbrev-case-replace): Fix custom tags and docs.
author Richard M. Stallman <rms@gnu.org>
date Tue, 14 May 2002 19:45:09 +0000
parents 20ca10cf58b3
children bb6c986199c4
line wrap: on
line source

/* XPM */
static char *gnus-pointer[] = {
/* width height num_colors chars_per_pixel */
"    18    12        2            1",
/* colors */
". c #0000ff",
"# c None s None",
/* pixels */
"######..##..######",
"#####........#####",
"#.##.##..##...####",
"#...####.###...##.",
"#..###.######.....",
"#####.########...#",
"###########.######",
"####.###.#..######",
"######..###.######",
"###....####.######",
"###..######.######",
"###########.######"
};