annotate gui/mplayer/pixmaps/ok.xpm @ 28182:26ab2d01157f

Add asserts to detect when assumptions for play_tree_parser_get_line fail (mostly due to parsers using it incorrectly).
author reimar
date Thu, 01 Jan 2009 09:35:25 +0000
parents 09c3ce60f369
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
1 /* XPM */
25715
09c3ce60f369 Make xpm arrays really const (I missed that they are not strings but
reimar
parents: 23077
diff changeset
2 static const char * const ok_xpm[] = {
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
3 "37 16 5 1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
4 " c None",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
5 ". c #3539EC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
6 "+ c #6E71EA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
7 "@ c #000000",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
8 "# c #1C1E7C",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
9 " ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
10 " ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
11 " ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
12 " ... ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
13 " .++. @@@@@ @@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
14 " .........++. @@@ @@@ @@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
15 " .+++++++...+. @@ @@@ @@ @@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
16 " ............+. @@ @@ @@ @@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
17 " ............... @@ @@ @@@@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
18 " .............# @@ @@@ @@@@@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
19 " ............# @@@ @@@ @@ @@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
20 " #######....# @@@@@ @@ @@ ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
21 " ...# ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
22 " ### ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
23 " ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
24 " "};