annotate gui/ui/pixmaps/double.xpm @ 34488:01c19d9b1e83

Print an error when streams behave in a way that the cache cannot handle.
author reimar
date Sun, 15 Jan 2012 12:38:38 +0000
parents 520fb0f7544c
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 double_xpm[] = {
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
3 "16 16 132 2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
4 " c None",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
5 ". c #000000",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
6 "+ c #92A0AC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
7 "@ c #808F9B",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
8 "# c #86949F",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
9 "$ c #8C99A4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
10 "% c #929EA8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
11 "& c #98A3AC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
12 "* c #9EA7B0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
13 "= c #A4ACB4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
14 "- c #AAB1B8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
15 "; c #B0B6BC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
16 "> c #B6BBC0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
17 ", c #BBC0C5",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
18 "' c #909192",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
19 ") c #B7C4CD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
20 "! c #91A3B3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
21 "~ c #98A9B8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
22 "{ c #9FAFBD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
23 "] c #A6B5C1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
24 "^ c #ADBAC6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
25 "/ c #B4C0CB",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
26 "( c #BAC6D0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
27 "_ c #C1CCD4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
28 ": c #C8D1D9",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
29 "< c #CFD7DE",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
30 "[ c #D7DEE3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
31 "} c #BCC1C5",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
32 "| c #8B9EAF",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
33 "1 c #92A4B3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
34 "2 c #A6B5C2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
35 "3 c #ADBBC6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
36 "4 c #BBC6D0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
37 "5 c #C2CCD5",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
38 "6 c #C9D2D9",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
39 "7 c #D1D8DF",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
40 "8 c #B7BCC2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
41 "9 c #AFBDC8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
42 "0 c #8499AA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
43 "a c #92A4B4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
44 "b c #99AAB9",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
45 "c c #A0B0BD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
46 "d c #A7B5C2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
47 "e c #AEBBC7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
48 "f c #B5C1CC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
49 "g c #BBC7D0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
50 "h c #CAD3DA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
51 "i c #B1B8BD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
52 "j c #ACB9C5",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
53 "k c #7E93A6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
54 "l c #8599AB",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
55 "m c #8C9FAF",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
56 "n c #93A5B4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
57 "o c #A0B0BE",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
58 "p c #BCC7D1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
59 "q c #C4CED6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
60 "r c #ACB3BA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
61 "s c #A8B6C3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
62 "t c #778EA1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
63 "u c #7E94A6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
64 "v c #8C9FB0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
65 "w c #9AABB9",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
66 "x c #707A84",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
67 "y c #B6C2CC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
68 "z c #BDC8D2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
69 "A c #A6AFB6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
70 "B c #A4B3C0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
71 "C c #71899D",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
72 "D c #788EA2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
73 "E c #7F94A7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
74 "F c #869AAB",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
75 "G c #8DA0B0",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
76 "H c #7A8996",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
77 "I c #79858F",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
78 "J c #AFBCC8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
79 "K c #B7C3CD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
80 "L c #A1ABB2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
81 "M c #5E7990",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
82 "N c #657E95",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
83 "O c #6C8499",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
84 "P c #728A9E",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
85 "Q c #627584",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
86 "R c #7A8C9B",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
87 "S c #8EA1B1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
88 "T c #95A7B6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
89 "U c #9CACBB",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
90 "V c #B1BEC9",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
91 "W c #9BA5AF",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
92 "X c #6A7D8E",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
93 "Y c #8196A8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
94 "Z c #889BAD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
95 "` c #8FA1B1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
96 " . c #AAB8C4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
97 ".. c #96A1AB",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
98 "+. c #B2C1D2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
99 "@. c #90A6BE",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
100 "#. c #95AAC1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
101 "$. c #9AAEC3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
102 "%. c #8493A4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
103 "&. c #738B9F",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
104 "*. c #7A90A3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
105 "=. c #889CAD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
106 "-. c #8FA2B2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
107 ";. c #919DA7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
108 ">. c #BBC8D7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
109 ",. c #8AA1BA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
110 "'. c #8FA5BD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
111 "). c #78899B",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
112 "!. c #8696A8",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
113 "~. c #A6B4C1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
114 "{. c #AEBCC7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
115 "]. c #B3BFCA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
116 "^. c #B7C2CD",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
117 "/. c #C3CDD6",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
118 "(. c #A7AFB7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
119 "_. c #B7C5D5",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
120 ":. c #859DB7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
121 "<. c #8AA0BA",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
122 "[. c #7D8EA3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
123 "}. c #98ACC2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
124 "|. c #B2C1D1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
125 "1. c #7F98B4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
126 "2. c #849CB7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
127 "3. c #89A0B9",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
128 "4. c #8EA4BC",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
129 "5. c #93A8BF",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
130 "6. c #D9E0E7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
131 "7. c #B1C0D1",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
132 "8. c #B4C3D3",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
133 "9. c #B7C5D4",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
134 "0. c #BCC9D7",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
135 "a. c #B3C2D2",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
136 " . . . . . . . . . . . . . . . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
137 " . + @ # $ % & * = - ; > , ' . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
138 " . ) ! ~ { ] ^ / ( _ : < [ } . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
139 " . / | 1 ~ { 2 3 / 4 5 6 7 8 . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
140 " . 9 0 | a b c d e f g 5 h i . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
141 " . j k l m n b o . . . p q r . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
142 " . s t u l v n w x . . y z A . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
143 " . B C D E F G H . I . J K L . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
144 " . ~ M N O P Q . R S T U V W . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
145 ". . . . . . . . X Y Z ` T .... ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
146 ". +.@.#.$.%.. . &.*.Y =.-.B ;.. ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
147 ". >.,.'.).. !.. ~. .{.].^./.(.. ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
148 ". _.:.<.. [.}.. . . . . . . . . ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
149 ". |.1.2.3.4.5.. ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
150 ". 6.7.8.9.0.a.. ",
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
151 ". . . . . . . . "};