annotate lisp/toolbar/search-replace.xpm @ 48840:b6981c46191d

(text_read_only): New arg `propval'. (get_char_property_and_overlay): Remove unused var `next_overlay'. (verify_interval_modification): Use text_read_only's new arg.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 14 Dec 2002 00:11:38 +0000
parents 8f4a34146a9d
children
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 */
32389
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
2 static char *magick[] = {
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
3 /* columns rows colors chars-per-pixel */
32452
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
4 "24 24 8 1",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
5 " c #01260126010f",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
6 ". c #56004ef93434",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
7 "X c #5c9c5c9c57c7",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
8 "o c #8e8e7d7d4545",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
9 "O c #a72aa72a95e6",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
10 "+ c #d015d015b9c5",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
11 "@ c #e90de90dd2e3",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
12 "# c None",
32389
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
13 /* pixels */
32452
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
14 "########################",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
15 "################ ######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
16 "############### o #####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
17 "########### ## o ######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
18 "######### O o #######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
19 "####### O@@ o ########",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
20 "##### O+++ o #########",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
21 "### O++++ o #########",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
22 "## XX++++ . @.#########",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
23 "## @.O+++ @@@@ ########",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
24 "## @@.++++@@@@@O #######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
25 "## @@.O+O. .O@@ #######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
26 "## @XO+O.O++O.+@@ ######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
27 "## O++.O@@+OX.@@O #####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
28 "## X+++ +#+OOO @@@+ ####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
29 "## O++@ +@OOOO @@@O ####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
30 "### +@@.OOOOOX.@@ #####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
31 "### +@@O.OOOX + #######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
32 "####X@@@O. .X ########",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
33 "#### @@@@@@@+ #######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
34 "##### @@@@@O ## ######",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
35 "##### O@@+. #### #####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
36 "###### @O ####### #####",
8f4a34146a9d Reduce to max. 8 colors (mogrify -colorspace transparent -colors 8).
Gerd Moellmann <gerd@gnu.org>
parents: 32389
diff changeset
37 "####### ###############"
32389
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
38 };