annotate lisp/toolbar/search-replace.xpm @ 32289:1c042b411eda

(list-options): Doc that you should use customize.
author Dave Love <fx@gnu.org>
date Sun, 08 Oct 2000 16:20:55 +0000
parents f115e74e9dd1
children 03a8b6779868
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31591
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* XPM */
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
2 static char * tb_search_replace_xpm[] = {
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
3 "24 24 126 2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
4 " c None",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
5 ". c #000000",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
6 "+ c #D8BE6A",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
7 "@ c #8E7D45",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
8 "# c #ADAD9C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
9 "$ c #959585",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
10 "% c #DCDCC5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
11 "& c #DFDFC8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
12 "* c #A7A796",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
13 "= c #D7D7C1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
14 "- c #D9D9C3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
15 "; c #DCDCC4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
16 "> c #A6A694",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
17 ", c #D6D6BF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
18 "' c #D8D8C2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
19 ") c #7C7C7C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
20 "! c #646464",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
21 "~ c #D5D5BD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
22 "{ c #D5D5BF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
23 "] c #D7D7C0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
24 "^ c #C6B273",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
25 "/ c #756020",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
26 "( c #E9E9D1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
27 "_ c #343434",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
28 ": c #E7E7E7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
29 "< c #373736",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
30 "[ c #B8B8A6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
31 "} c #D3D3BC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
32 "| c #D9D9C2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
33 "1 c #060605",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
34 "2 c #E5E5CD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
35 "3 c #E8E8D0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
36 "4 c #ECECD4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
37 "5 c #EEEED5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
38 "6 c #ECECEC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
39 "7 c #EDEDED",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
40 "8 c #3D3D37",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
41 "9 c #CECEB7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
42 "0 c #DBDBC4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
43 "a c #E0E0C8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
44 "b c #E6E6CE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
45 "c c #EAEAD2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
46 "d c #F1F1D8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
47 "e c #A5A594",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
48 "f c #EEEEE5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
49 "g c #3C3C3C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
50 "h c #8F8F80",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
51 "i c #D0D0B9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
52 "j c #B4B4A0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
53 "k c #46463E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
54 "l c #090908",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
55 "m c #4A4A42",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
56 "n c #C1C1AD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
57 "o c #F2F2D9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
58 "p c #F3F3DA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
59 "q c #EEEEE6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
60 "r c #505050",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
61 "s c #929282",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
62 "t c #D1D1B9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
63 "u c #B0B09D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
64 "v c #33332D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
65 "w c #9D9D8D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
66 "x c #CFCFB9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
67 "y c #C4C4AF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
68 "z c #8D8D7F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
69 "A c #34342F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
70 "B c #C3C3AF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
71 "C c #F4F4DB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
72 "D c #F5F5DC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
73 "E c #969686",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
74 "F c #D2D2BC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
75 "G c #45453E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
76 "H c #9C9C8C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
77 "I c #E2E2D0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
78 "J c #EDEDE5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
79 "K c #C0C0AC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
80 "L c #B2B29F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
81 "M c #828274",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
82 "N c #4B4B43",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
83 "O c #BEBEAB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
84 "P c #797973",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
85 "Q c #D8D8C1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
86 "R c #DDDDC6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
87 "S c #080807",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
88 "T c #FBFBFA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
89 "U c #C3C3AE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
90 "V c #B5B5A2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
91 "W c #A6A695",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
92 "X c #959586",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
93 "Y c #98988F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
94 "Z c #080808",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
95 "` c #CACAB5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
96 " . c #DDDDD0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
97 ".. c #B7B7A4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
98 "+. c #AAAA98",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
99 "@. c #9B9B8B",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
100 "#. c #8C8C7D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
101 "$. c #818174",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
102 "%. c #DFDFC7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
103 "&. c #E2E2CA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
104 "*. c #46463F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
105 "=. c #929283",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
106 "-. c #BABAA7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
107 ";. c #ADAD9B",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
108 ">. c #9F9F8E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
109 ",. c #909081",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
110 "'. c #727266",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
111 "). c #4B4B44",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
112 "!. c #BEBEAE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
113 "~. c #33332E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
114 "{. c #878779",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
115 "]. c #A0A090",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
116 "^. c #737367",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
117 "/. c #DADAC3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
118 "(. c #4E4E4E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
119 "_. c #BEBEAA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
120 ":. c #404040",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
121 "<. c #6F6F6F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
122 "[. c #EBEBD3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
123 "}. c #EDEDD4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
124 "|. c #EFEFD6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
125 "1. c #F0F0D7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
126 "2. c #BBBBA8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
127 "3. c #CDCDB8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
128 "4. c #4D4D45",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
129 "5. c #A6A696",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
130 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
131 " . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
132 " . + @ . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
133 " . . + @ . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
134 " . . # . . + @ . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
135 " . . $ % & . + @ . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
136 " . . * = - ; . + @ . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
137 " . . > , = = ' . + @ . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
138 " . ) ! , ~ { ] ^ / . . ( _ ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
139 " . : < [ } = | 1 . 2 3 4 5 . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
140 " . 6 7 8 9 { 0 a b 3 c 5 d e . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
141 " . f f g h i j k l l m n o p . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
142 " . q r s t u v w x y z A B C D . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
143 " . . E F 0 G H I J K L M N D D O . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
144 " . P Q | R S { T U V W X l D D D ' . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
145 " . Y 0 % & Z ` ...+.@.#.l D D D $.. ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
146 " . %.a &.*.=.-.;.>.,.'.).D D . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
147 " . !.2 2 -.~.{.].=.^.. . /.. ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
148 " (.3 ( c _.m l l :.<.. . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
149 " . [.4 }.|.d o o /.. . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
150 " . |.1.d o ( e . . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
151 " . 2.o p 3.4.. . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
152 " . p 5.. . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
153 " . . "};