view etc/gnus-pointer.xpm @ 31660:84c9abde389f

(Info-fontify-node): Make a few cleanups. Add extra `help-echo' and `local-map' props to node xrefs. Use header-specific faces for node-names & xrefs. (Info-use-header-line, Info-header-line): New variables. (info-header, info-header-xref, info-header-node): New faces. (Info-setup-header-line): New function. (Info-select-node): Call Info-setup-header-line when enabled. (Info-extract-pointer): Work even if the header line is hidden.
author Miles Bader <miles@gnu.org>
date Sun, 17 Sep 2000 16:20:35 +0000
parents 774098937e4f
children 20ca10cf58b3
line wrap: on
line source

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