annotate etc/gnus-pointer.xpm @ 55351:07c85e772ee2

(help-argument-name): New face, inheriting from font-lock-variable-name-face, to highlight function arguments in `describe-function' and `describe-key'. (help-do-arg-highlight): Auxiliary function to highlight a given list of arguments in a string. (help-highlight-arguments): Highlight the function arguments and all uses of them in the docstring. (describe-function-1): Use it. Do docstring output via `insert', not 'princ', so text attributes are preserved.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 04 May 2004 00:20:00 +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 };