/[eiffelstudio]/trunk/Src/Eiffel/interface/new_graphical/shared/es_pixmaps_16x16.e
ViewVC logotype

Contents of /trunk/Src/Eiffel/interface/new_graphical/shared/es_pixmaps_16x16.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 73014 - (show annotations)
Sat Apr 12 05:32:46 2008 UTC (11 years, 10 months ago) by jfiat
File size: 159296 byte(s)
Added new pixmaps
1 indexing
2 description: "An Eiffel pixmap matrix accessor, generated by Eiffel Matrix Generator."
3 legal : "See notice at end of class."
4 status : "See notice at end of class."
5 date : "$Date$"
6 revision : "$Revision$"
7
8 class
9 ES_PIXMAPS_16X16
10
11 inherit
12 EIFFEL_LAYOUT
13 export
14 {NONE} all
15 end
16
17 create
18 make
19
20 feature {NONE} -- Initialization
21
22 make (a_name: STRING) is
23 -- Initialize matrix
24 require
25 a_name_attached: a_name /= Void
26 not_a_name_is_empty: not a_name.is_empty
27 local
28 l_file: FILE_NAME
29 retried: BOOLEAN
30 do
31 if not retried then
32 create l_file.make_from_string (eiffel_layout.bitmaps_path)
33 l_file.set_subdirectory ("png")
34 l_file.set_file_name (a_name)
35 end
36
37 if not retried and then (create {RAW_FILE}.make (l_file)).exists then
38 create raw_buffer
39 raw_buffer.set_with_named_file (l_file)
40 else
41 (create {ES_SHARED_PROMPT_PROVIDER}).prompts.show_warning_prompt ("Cannot read pixmap file:%N" + l_file + ".%N%NPlease make sure the installation is not corrupted.", Void, Void)
42
43 -- Fail safe, use blank pixmap
44 create raw_buffer.make_with_size ((33 * 16) + 1,(23 * 16) + 1)
45 end
46 rescue
47 retried := True
48 retry
49 end
50
51 feature -- Access
52
53 pixel_width: INTEGER is 16
54 -- Element width
55
56 pixel_height: INTEGER is 16
57 -- Element width
58
59 width: INTEGER is 33
60 -- Matrix width
61
62 height: INTEGER is 23
63 -- Matrix height
64
65 frozen expanded_normal_icon: !EV_PIXMAP is
66 -- Access to 'normal' pixmap.
67 once
68 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 1))
69 end
70
71 frozen expanded_normal_icon_buffer: !EV_PIXEL_BUFFER is
72 -- Access to 'normal' pixmap pixel buffer.
73 once
74 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 1))
75 end
76
77 frozen expanded_readonly_icon: !EV_PIXMAP is
78 -- Access to 'readonly' pixmap.
79 once
80 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 1))
81 end
82
83 frozen expanded_readonly_icon_buffer: !EV_PIXEL_BUFFER is
84 -- Access to 'readonly' pixmap pixel buffer.
85 once
86 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 1))
87 end
88
89 frozen expanded_uncompiled_icon: !EV_PIXMAP is
90 -- Access to 'uncompiled' pixmap.
91 once
92 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 1))
93 end
94
95 frozen expanded_uncompiled_icon_buffer: !EV_PIXEL_BUFFER is
96 -- Access to 'uncompiled' pixmap pixel buffer.
97 once
98 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 1))
99 end
100
101 frozen expanded_uncompiled_readonly_icon: !EV_PIXMAP is
102 -- Access to 'uncompiled readonly' pixmap.
103 once
104 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 1))
105 end
106
107 frozen expanded_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER is
108 -- Access to 'uncompiled readonly' pixmap pixel buffer.
109 once
110 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 1))
111 end
112
113 frozen expanded_override_normal_icon: !EV_PIXMAP is
114 -- Access to 'normal' pixmap.
115 once
116 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 1))
117 end
118
119 frozen expanded_override_normal_icon_buffer: !EV_PIXEL_BUFFER is
120 -- Access to 'normal' pixmap pixel buffer.
121 once
122 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 1))
123 end
124
125 frozen expanded_override_readonly_icon: !EV_PIXMAP is
126 -- Access to 'readonly' pixmap.
127 once
128 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 1))
129 end
130
131 frozen expanded_override_readonly_icon_buffer: !EV_PIXEL_BUFFER is
132 -- Access to 'readonly' pixmap pixel buffer.
133 once
134 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 1))
135 end
136
137 frozen expanded_override_uncompiled_icon: !EV_PIXMAP is
138 -- Access to 'uncompiled' pixmap.
139 once
140 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 1))
141 end
142
143 frozen expanded_override_uncompiled_icon_buffer: !EV_PIXEL_BUFFER is
144 -- Access to 'uncompiled' pixmap pixel buffer.
145 once
146 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 1))
147 end
148
149 frozen expanded_override_uncompiled_readonly_icon: !EV_PIXMAP is
150 -- Access to 'uncompiled readonly' pixmap.
151 once
152 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 1))
153 end
154
155 frozen expanded_override_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER is
156 -- Access to 'uncompiled readonly' pixmap pixel buffer.
157 once
158 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 1))
159 end
160
161 frozen expanded_overriden_normal_icon: !EV_PIXMAP is
162 -- Access to 'normal' pixmap.
163 once
164 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 1))
165 end
166
167 frozen expanded_overriden_normal_icon_buffer: !EV_PIXEL_BUFFER is
168 -- Access to 'normal' pixmap pixel buffer.
169 once
170 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 1))
171 end
172
173 frozen expanded_overriden_readonly_icon: !EV_PIXMAP is
174 -- Access to 'readonly' pixmap.
175 once
176 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 1))
177 end
178
179 frozen expanded_overriden_readonly_icon_buffer: !EV_PIXEL_BUFFER is
180 -- Access to 'readonly' pixmap pixel buffer.
181 once
182 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 1))
183 end
184
185 frozen expanded_overriden_uncompiled_icon: !EV_PIXMAP is
186 -- Access to 'uncompiled' pixmap.
187 once
188 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 1))
189 end
190
191 frozen expanded_overriden_uncompiled_icon_buffer: !EV_PIXEL_BUFFER is
192 -- Access to 'uncompiled' pixmap pixel buffer.
193 once
194 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 1))
195 end
196
197 frozen expanded_overriden_uncompiled_readonly_icon: !EV_PIXMAP is
198 -- Access to 'uncompiled readonly' pixmap.
199 once
200 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 1))
201 end
202
203 frozen expanded_overriden_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER is
204 -- Access to 'uncompiled readonly' pixmap pixel buffer.
205 once
206 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 1))
207 end
208
209 frozen class_normal_icon: !EV_PIXMAP is
210 -- Access to 'normal' pixmap.
211 once
212 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 1))
213 end
214
215 frozen class_normal_icon_buffer: !EV_PIXEL_BUFFER is
216 -- Access to 'normal' pixmap pixel buffer.
217 once
218 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 1))
219 end
220
221 frozen class_readonly_icon: !EV_PIXMAP is
222 -- Access to 'readonly' pixmap.
223 once
224 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 1))
225 end
226
227 frozen class_readonly_icon_buffer: !EV_PIXEL_BUFFER is
228 -- Access to 'readonly' pixmap pixel buffer.
229 once
230 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 1))
231 end
232
233 frozen class_deferred_icon: !EV_PIXMAP is
234 -- Access to 'deferred' pixmap.
235 once
236 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 1))
237 end
238
239 frozen class_deferred_icon_buffer: !EV_PIXEL_BUFFER is
240 -- Access to 'deferred' pixmap pixel buffer.
241 once
242 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 1))
243 end
244
245 frozen class_deferred_readonly_icon: !EV_PIXMAP is
246 -- Access to 'deferred readonly' pixmap.
247 once
248 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 1))
249 end
250
251 frozen class_deferred_readonly_icon_buffer: !EV_PIXEL_BUFFER is
252 -- Access to 'deferred readonly' pixmap pixel buffer.
253 once
254 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 1))
255 end
256
257 frozen class_frozen_icon: !EV_PIXMAP is
258 -- Access to 'frozen' pixmap.
259 once
260 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 1))
261 end
262
263 frozen class_frozen_icon_buffer: !EV_PIXEL_BUFFER is
264 -- Access to 'frozen' pixmap pixel buffer.
265 once
266 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 1))
267 end
268
269 frozen class_frozen_readonly_icon: !EV_PIXMAP is
270 -- Access to 'frozen readonly' pixmap.
271 once
272 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 1))
273 end
274
275 frozen class_frozen_readonly_icon_buffer: !EV_PIXEL_BUFFER is
276 -- Access to 'frozen readonly' pixmap pixel buffer.
277 once
278 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 1))
279 end
280
281 frozen class_uncompiled_icon: !EV_PIXMAP is
282 -- Access to 'uncompiled' pixmap.
283 once
284 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 1))
285 end
286
287 frozen class_uncompiled_icon_buffer: !EV_PIXEL_BUFFER is
288 -- Access to 'uncompiled' pixmap pixel buffer.
289 once
290 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 1))
291 end
292
293 frozen class_uncompiled_readonly_icon: !EV_PIXMAP is
294 -- Access to 'uncompiled readonly' pixmap.
295 once
296 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 1))
297 end
298
299 frozen class_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER is
300 -- Access to 'uncompiled readonly' pixmap pixel buffer.
301 once
302 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 1))
303 end
304
305 frozen class_override_normal_icon: !EV_PIXMAP is
306 -- Access to 'normal' pixmap.
307 once
308 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 1))
309 end
310
311 frozen class_override_normal_icon_buffer: !EV_PIXEL_BUFFER is
312 -- Access to 'normal' pixmap pixel buffer.
313 once
314 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 1))
315 end
316
317 frozen class_override_readonly_icon: !EV_PIXMAP is
318 -- Access to 'readonly' pixmap.
319 once
320 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 1))
321 end
322
323 frozen class_override_readonly_icon_buffer: !EV_PIXEL_BUFFER is
324 -- Access to 'readonly' pixmap pixel buffer.
325 once
326 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 1))
327 end
328
329 frozen class_override_deferred_icon: !EV_PIXMAP is
330 -- Access to 'deferred' pixmap.
331 once
332 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 1))
333 end
334
335 frozen class_override_deferred_icon_buffer: !EV_PIXEL_BUFFER is
336 -- Access to 'deferred' pixmap pixel buffer.
337 once
338 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 1))
339 end
340
341 frozen class_override_deferred_readonly_icon: !EV_PIXMAP is
342 -- Access to 'deferred readonly' pixmap.
343 once
344 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 1))
345 end
346
347 frozen class_override_deferred_readonly_icon_buffer: !EV_PIXEL_BUFFER is
348 -- Access to 'deferred readonly' pixmap pixel buffer.
349 once
350 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 1))
351 end
352
353 frozen class_override_frozen_icon: !EV_PIXMAP is
354 -- Access to 'frozen' pixmap.
355 once
356 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 1))
357 end
358
359 frozen class_override_frozen_icon_buffer: !EV_PIXEL_BUFFER is
360 -- Access to 'frozen' pixmap pixel buffer.
361 once
362 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 1))
363 end
364
365 frozen class_override_frozen_readonly_icon: !EV_PIXMAP is
366 -- Access to 'frozen readonly' pixmap.
367 once
368 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 1))
369 end
370
371 frozen class_override_frozen_readonly_icon_buffer: !EV_PIXEL_BUFFER is
372 -- Access to 'frozen readonly' pixmap pixel buffer.
373 once
374 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 1))
375 end
376
377 frozen class_override_uncompiled_icon: !EV_PIXMAP is
378 -- Access to 'uncompiled' pixmap.
379 once
380 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 1))
381 end
382
383 frozen class_override_uncompiled_icon_buffer: !EV_PIXEL_BUFFER is
384 -- Access to 'uncompiled' pixmap pixel buffer.
385 once
386 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 1))
387 end
388
389 frozen class_override_uncompiled_readonly_icon: !EV_PIXMAP is
390 -- Access to 'uncompiled readonly' pixmap.
391 once
392 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 1))
393 end
394
395 frozen class_override_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER is
396 -- Access to 'uncompiled readonly' pixmap pixel buffer.
397 once
398 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 1))
399 end
400
401 frozen class_overriden_normal_icon: !EV_PIXMAP is
402 -- Access to 'normal' pixmap.
403 once
404 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 1))
405 end
406
407 frozen class_overriden_normal_icon_buffer: !EV_PIXEL_BUFFER is
408 -- Access to 'normal' pixmap pixel buffer.
409 once
410 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 1))
411 end
412
413 frozen class_overriden_readonly_icon: !EV_PIXMAP is
414 -- Access to 'readonly' pixmap.
415 once
416 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (30, 1))
417 end
418
419 frozen class_overriden_readonly_icon_buffer: !EV_PIXEL_BUFFER is
420 -- Access to 'readonly' pixmap pixel buffer.
421 once
422 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (30, 1))
423 end
424
425 frozen class_overriden_deferred_icon: !EV_PIXMAP is
426 -- Access to 'deferred' pixmap.
427 once
428 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (31, 1))
429 end
430
431 frozen class_overriden_deferred_icon_buffer: !EV_PIXEL_BUFFER is
432 -- Access to 'deferred' pixmap pixel buffer.
433 once
434 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (31, 1))
435 end
436
437 frozen class_overriden_deferred_readonly_icon: !EV_PIXMAP is
438 -- Access to 'deferred readonly' pixmap.
439 once
440 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (32, 1))
441 end
442
443 frozen class_overriden_deferred_readonly_icon_buffer: !EV_PIXEL_BUFFER is
444 -- Access to 'deferred readonly' pixmap pixel buffer.
445 once
446 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (32, 1))
447 end
448
449 frozen class_overriden_frozen_icon: !EV_PIXMAP is
450 -- Access to 'frozen' pixmap.
451 once
452 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (33, 1))
453 end
454
455 frozen class_overriden_frozen_icon_buffer: !EV_PIXEL_BUFFER is
456 -- Access to 'frozen' pixmap pixel buffer.
457 once
458 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (33, 1))
459 end
460
461 frozen class_overriden_frozen_readonly_icon: !EV_PIXMAP is
462 -- Access to 'frozen readonly' pixmap.
463 once
464 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 2))
465 end
466
467 frozen class_overriden_frozen_readonly_icon_buffer: !EV_PIXEL_BUFFER is
468 -- Access to 'frozen readonly' pixmap pixel buffer.
469 once
470 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 2))
471 end
472
473 frozen class_overriden_uncompiled_icon: !EV_PIXMAP is
474 -- Access to 'uncompiled' pixmap.
475 once
476 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 2))
477 end
478
479 frozen class_overriden_uncompiled_icon_buffer: !EV_PIXEL_BUFFER is
480 -- Access to 'uncompiled' pixmap pixel buffer.
481 once
482 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 2))
483 end
484
485 frozen class_overriden_uncompiled_readonly_icon: !EV_PIXMAP is
486 -- Access to 'uncompiled readonly' pixmap.
487 once
488 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 2))
489 end
490
491 frozen class_overriden_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER is
492 -- Access to 'uncompiled readonly' pixmap pixel buffer.
493 once
494 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 2))
495 end
496
497 frozen feature_routine_icon: !EV_PIXMAP is
498 -- Access to 'routine' pixmap.
499 once
500 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 3))
501 end
502
503 frozen feature_routine_icon_buffer: !EV_PIXEL_BUFFER is
504 -- Access to 'routine' pixmap pixel buffer.
505 once
506 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 3))
507 end
508
509 frozen feature_attribute_icon: !EV_PIXMAP is
510 -- Access to 'attribute' pixmap.
511 once
512 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 3))
513 end
514
515 frozen feature_attribute_icon_buffer: !EV_PIXEL_BUFFER is
516 -- Access to 'attribute' pixmap pixel buffer.
517 once
518 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 3))
519 end
520
521 frozen feature_once_icon: !EV_PIXMAP is
522 -- Access to 'once' pixmap.
523 once
524 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 3))
525 end
526
527 frozen feature_once_icon_buffer: !EV_PIXEL_BUFFER is
528 -- Access to 'once' pixmap pixel buffer.
529 once
530 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 3))
531 end
532
533 frozen feature_deferred_icon: !EV_PIXMAP is
534 -- Access to 'deferred' pixmap.
535 once
536 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 3))
537 end
538
539 frozen feature_deferred_icon_buffer: !EV_PIXEL_BUFFER is
540 -- Access to 'deferred' pixmap pixel buffer.
541 once
542 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 3))
543 end
544
545 frozen feature_external_icon: !EV_PIXMAP is
546 -- Access to 'external' pixmap.
547 once
548 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 3))
549 end
550
551 frozen feature_external_icon_buffer: !EV_PIXEL_BUFFER is
552 -- Access to 'external' pixmap pixel buffer.
553 once
554 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 3))
555 end
556
557 frozen feature_assigner_icon: !EV_PIXMAP is
558 -- Access to 'assigner' pixmap.
559 once
560 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 3))
561 end
562
563 frozen feature_assigner_icon_buffer: !EV_PIXEL_BUFFER is
564 -- Access to 'assigner' pixmap pixel buffer.
565 once
566 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 3))
567 end
568
569 frozen feature_deferred_assigner_icon: !EV_PIXMAP is
570 -- Access to 'deferred assigner' pixmap.
571 once
572 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 3))
573 end
574
575 frozen feature_deferred_assigner_icon_buffer: !EV_PIXEL_BUFFER is
576 -- Access to 'deferred assigner' pixmap pixel buffer.
577 once
578 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 3))
579 end
580
581 frozen feature_frozen_routine_icon: !EV_PIXMAP is
582 -- Access to 'routine' pixmap.
583 once
584 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 3))
585 end
586
587 frozen feature_frozen_routine_icon_buffer: !EV_PIXEL_BUFFER is
588 -- Access to 'routine' pixmap pixel buffer.
589 once
590 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 3))
591 end
592
593 frozen feature_frozen_attribute_icon: !EV_PIXMAP is
594 -- Access to 'attribute' pixmap.
595 once
596 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 3))
597 end
598
599 frozen feature_frozen_attribute_icon_buffer: !EV_PIXEL_BUFFER is
600 -- Access to 'attribute' pixmap pixel buffer.
601 once
602 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 3))
603 end
604
605 frozen feature_frozen_once_icon: !EV_PIXMAP is
606 -- Access to 'once' pixmap.
607 once
608 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 3))
609 end
610
611 frozen feature_frozen_once_icon_buffer: !EV_PIXEL_BUFFER is
612 -- Access to 'once' pixmap pixel buffer.
613 once
614 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 3))
615 end
616
617 frozen feature_frozen_external_icon: !EV_PIXMAP is
618 -- Access to 'external' pixmap.
619 once
620 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 3))
621 end
622
623 frozen feature_frozen_external_icon_buffer: !EV_PIXEL_BUFFER is
624 -- Access to 'external' pixmap pixel buffer.
625 once
626 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 3))
627 end
628
629 frozen feature_frozen_assigner_icon: !EV_PIXMAP is
630 -- Access to 'assigner' pixmap.
631 once
632 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 3))
633 end
634
635 frozen feature_frozen_assigner_icon_buffer: !EV_PIXEL_BUFFER is
636 -- Access to 'assigner' pixmap pixel buffer.
637 once
638 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 3))
639 end
640
641 frozen feature_obsolete_routine_icon: !EV_PIXMAP is
642 -- Access to 'routine' pixmap.
643 once
644 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 3))
645 end
646
647 frozen feature_obsolete_routine_icon_buffer: !EV_PIXEL_BUFFER is
648 -- Access to 'routine' pixmap pixel buffer.
649 once
650 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 3))
651 end
652
653 frozen feature_obsolete_attribute_icon: !EV_PIXMAP is
654 -- Access to 'attribute' pixmap.
655 once
656 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 3))
657 end
658
659 frozen feature_obsolete_attribute_icon_buffer: !EV_PIXEL_BUFFER is
660 -- Access to 'attribute' pixmap pixel buffer.
661 once
662 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 3))
663 end
664
665 frozen feature_obsolete_once_icon: !EV_PIXMAP is
666 -- Access to 'once' pixmap.
667 once
668 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 3))
669 end
670
671 frozen feature_obsolete_once_icon_buffer: !EV_PIXEL_BUFFER is
672 -- Access to 'once' pixmap pixel buffer.
673 once
674 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 3))
675 end
676
677 frozen feature_obsolete_deferred_icon: !EV_PIXMAP is
678 -- Access to 'deferred' pixmap.
679 once
680 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 3))
681 end
682
683 frozen feature_obsolete_deferred_icon_buffer: !EV_PIXEL_BUFFER is
684 -- Access to 'deferred' pixmap pixel buffer.
685 once
686 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 3))
687 end
688
689 frozen feature_obsolete_external_icon: !EV_PIXMAP is
690 -- Access to 'external' pixmap.
691 once
692 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 3))
693 end
694
695 frozen feature_obsolete_external_icon_buffer: !EV_PIXEL_BUFFER is
696 -- Access to 'external' pixmap pixel buffer.
697 once
698 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 3))
699 end
700
701 frozen feature_obsolete_assigner_icon: !EV_PIXMAP is
702 -- Access to 'assigner' pixmap.
703 once
704 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 3))
705 end
706
707 frozen feature_obsolete_assigner_icon_buffer: !EV_PIXEL_BUFFER is
708 -- Access to 'assigner' pixmap pixel buffer.
709 once
710 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 3))
711 end
712
713 frozen feature_obsolete_deferred_assigner_icon: !EV_PIXMAP is
714 -- Access to 'deferred assigner' pixmap.
715 once
716 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 3))
717 end
718
719 frozen feature_obsolete_deferred_assigner_icon_buffer: !EV_PIXEL_BUFFER is
720 -- Access to 'deferred assigner' pixmap pixel buffer.
721 once
722 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 3))
723 end
724
725 frozen feature_local_variable_icon: !EV_PIXMAP is
726 -- Access to 'variable' pixmap.
727 once
728 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 3))
729 end
730
731 frozen feature_local_variable_icon_buffer: !EV_PIXEL_BUFFER is
732 -- Access to 'variable' pixmap pixel buffer.
733 once
734 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 3))
735 end
736
737 frozen feature_group_icon: !EV_PIXMAP is
738 -- Access to 'group' pixmap.
739 once
740 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 3))
741 end
742
743 frozen feature_group_icon_buffer: !EV_PIXEL_BUFFER is
744 -- Access to 'group' pixmap pixel buffer.
745 once
746 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 3))
747 end
748
749 frozen top_level_folder_clusters_icon: !EV_PIXMAP is
750 -- Access to 'clusters' pixmap.
751 once
752 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 4))
753 end
754
755 frozen top_level_folder_clusters_icon_buffer: !EV_PIXEL_BUFFER is
756 -- Access to 'clusters' pixmap pixel buffer.
757 once
758 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 4))
759 end
760
761 frozen top_level_folder_overrides_icon: !EV_PIXMAP is
762 -- Access to 'overrides' pixmap.
763 once
764 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 4))
765 end
766
767 frozen top_level_folder_overrides_icon_buffer: !EV_PIXEL_BUFFER is
768 -- Access to 'overrides' pixmap pixel buffer.
769 once
770 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 4))
771 end
772
773 frozen top_level_folder_library_icon: !EV_PIXMAP is
774 -- Access to 'library' pixmap.
775 once
776 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 4))
777 end
778
779 frozen top_level_folder_library_icon_buffer: !EV_PIXEL_BUFFER is
780 -- Access to 'library' pixmap pixel buffer.
781 once
782 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 4))
783 end
784
785 frozen top_level_folder_precompiles_icon: !EV_PIXMAP is
786 -- Access to 'precompiles' pixmap.
787 once
788 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 4))
789 end
790
791 frozen top_level_folder_precompiles_icon_buffer: !EV_PIXEL_BUFFER is
792 -- Access to 'precompiles' pixmap pixel buffer.
793 once
794 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 4))
795 end
796
797 frozen top_level_folder_references_icon: !EV_PIXMAP is
798 -- Access to 'references' pixmap.
799 once
800 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 4))
801 end
802
803 frozen top_level_folder_references_icon_buffer: !EV_PIXEL_BUFFER is
804 -- Access to 'references' pixmap pixel buffer.
805 once
806 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 4))
807 end
808
809 frozen top_level_folder_targets_icon: !EV_PIXMAP is
810 -- Access to 'targets' pixmap.
811 once
812 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 4))
813 end
814
815 frozen top_level_folder_targets_icon_buffer: !EV_PIXEL_BUFFER is
816 -- Access to 'targets' pixmap pixel buffer.
817 once
818 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 4))
819 end
820
821 frozen folder_features_all_icon: !EV_PIXMAP is
822 -- Access to 'all' pixmap.
823 once
824 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 4))
825 end
826
827 frozen folder_features_all_icon_buffer: !EV_PIXEL_BUFFER is
828 -- Access to 'all' pixmap pixel buffer.
829 once
830 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 4))
831 end
832
833 frozen folder_features_some_icon: !EV_PIXMAP is
834 -- Access to 'some' pixmap.
835 once
836 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 4))
837 end
838
839 frozen folder_features_some_icon_buffer: !EV_PIXEL_BUFFER is
840 -- Access to 'some' pixmap pixel buffer.
841 once
842 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 4))
843 end
844
845 frozen folder_features_none_icon: !EV_PIXMAP is
846 -- Access to 'none' pixmap.
847 once
848 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 4))
849 end
850
851 frozen folder_features_none_icon_buffer: !EV_PIXEL_BUFFER is
852 -- Access to 'none' pixmap pixel buffer.
853 once
854 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 4))
855 end
856
857 frozen folder_cluster_icon: !EV_PIXMAP is
858 -- Access to 'cluster' pixmap.
859 once
860 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 4))
861 end
862
863 frozen folder_cluster_icon_buffer: !EV_PIXEL_BUFFER is
864 -- Access to 'cluster' pixmap pixel buffer.
865 once
866 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 4))
867 end
868
869 frozen folder_cluster_readonly_icon: !EV_PIXMAP is
870 -- Access to 'cluster readonly' pixmap.
871 once
872 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 4))
873 end
874
875 frozen folder_cluster_readonly_icon_buffer: !EV_PIXEL_BUFFER is
876 -- Access to 'cluster readonly' pixmap pixel buffer.
877 once
878 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 4))
879 end
880
881 frozen folder_blank_icon: !EV_PIXMAP is
882 -- Access to 'blank' pixmap.
883 once
884 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 4))
885 end
886
887 frozen folder_blank_icon_buffer: !EV_PIXEL_BUFFER is
888 -- Access to 'blank' pixmap pixel buffer.
889 once
890 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 4))
891 end
892
893 frozen folder_blank_readonly_icon: !EV_PIXMAP is
894 -- Access to 'blank readonly' pixmap.
895 once
896 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 4))
897 end
898
899 frozen folder_blank_readonly_icon_buffer: !EV_PIXEL_BUFFER is
900 -- Access to 'blank readonly' pixmap pixel buffer.
901 once
902 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 4))
903 end
904
905 frozen folder_library_icon: !EV_PIXMAP is
906 -- Access to 'library' pixmap.
907 once
908 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 4))
909 end
910
911 frozen folder_library_icon_buffer: !EV_PIXEL_BUFFER is
912 -- Access to 'library' pixmap pixel buffer.
913 once
914 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 4))
915 end
916
917 frozen folder_library_readonly_icon: !EV_PIXMAP is
918 -- Access to 'library readonly' pixmap.
919 once
920 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 4))
921 end
922
923 frozen folder_library_readonly_icon_buffer: !EV_PIXEL_BUFFER is
924 -- Access to 'library readonly' pixmap pixel buffer.
925 once
926 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 4))
927 end
928
929 frozen folder_precompiled_library_icon: !EV_PIXMAP is
930 -- Access to 'precompiled library' pixmap.
931 once
932 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 4))
933 end
934
935 frozen folder_precompiled_library_icon_buffer: !EV_PIXEL_BUFFER is
936 -- Access to 'precompiled library' pixmap pixel buffer.
937 once
938 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 4))
939 end
940
941 frozen folder_precompiled_library_readonly_icon: !EV_PIXMAP is
942 -- Access to 'precompiled library readonly' pixmap.
943 once
944 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 4))
945 end
946
947 frozen folder_precompiled_library_readonly_icon_buffer: !EV_PIXEL_BUFFER is
948 -- Access to 'precompiled library readonly' pixmap pixel buffer.
949 once
950 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 4))
951 end
952
953 frozen folder_assembly_icon: !EV_PIXMAP is
954 -- Access to 'assembly' pixmap.
955 once
956 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 4))
957 end
958
959 frozen folder_assembly_icon_buffer: !EV_PIXEL_BUFFER is
960 -- Access to 'assembly' pixmap pixel buffer.
961 once
962 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 4))
963 end
964
965 frozen folder_namespace_icon: !EV_PIXMAP is
966 -- Access to 'namespace' pixmap.
967 once
968 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 4))
969 end
970
971 frozen folder_namespace_icon_buffer: !EV_PIXEL_BUFFER is
972 -- Access to 'namespace' pixmap pixel buffer.
973 once
974 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 4))
975 end
976
977 frozen folder_preference_icon: !EV_PIXMAP is
978 -- Access to 'preference' pixmap.
979 once
980 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 4))
981 end
982
983 frozen folder_preference_icon_buffer: !EV_PIXEL_BUFFER is
984 -- Access to 'preference' pixmap pixel buffer.
985 once
986 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 4))
987 end
988
989 frozen folder_config_icon: !EV_PIXMAP is
990 -- Access to 'config' pixmap.
991 once
992 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 4))
993 end
994
995 frozen folder_config_icon_buffer: !EV_PIXEL_BUFFER is
996 -- Access to 'config' pixmap pixel buffer.
997 once
998 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 4))
999 end
1000
1001 frozen folder_target_icon: !EV_PIXMAP is
1002 -- Access to 'target' pixmap.
1003 once
1004 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 4))
1005 end
1006
1007 frozen folder_target_icon_buffer: !EV_PIXEL_BUFFER is
1008 -- Access to 'target' pixmap pixel buffer.
1009 once
1010 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 4))
1011 end
1012
1013 frozen folder_hidden_cluster_icon: !EV_PIXMAP is
1014 -- Access to 'cluster' pixmap.
1015 once
1016 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 4))
1017 end
1018
1019 frozen folder_hidden_cluster_icon_buffer: !EV_PIXEL_BUFFER is
1020 -- Access to 'cluster' pixmap pixel buffer.
1021 once
1022 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 4))
1023 end
1024
1025 frozen folder_hidden_cluster_readonly_icon: !EV_PIXMAP is
1026 -- Access to 'cluster readonly' pixmap.
1027 once
1028 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 4))
1029 end
1030
1031 frozen folder_hidden_cluster_readonly_icon_buffer: !EV_PIXEL_BUFFER is
1032 -- Access to 'cluster readonly' pixmap pixel buffer.
1033 once
1034 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 4))
1035 end
1036
1037 frozen folder_hidden_blank_icon: !EV_PIXMAP is
1038 -- Access to 'blank' pixmap.
1039 once
1040 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 4))
1041 end
1042
1043 frozen folder_hidden_blank_icon_buffer: !EV_PIXEL_BUFFER is
1044 -- Access to 'blank' pixmap pixel buffer.
1045 once
1046 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 4))
1047 end
1048
1049 frozen folder_hidden_blank_readonly_icon: !EV_PIXMAP is
1050 -- Access to 'blank readonly' pixmap.
1051 once
1052 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 4))
1053 end
1054
1055 frozen folder_hidden_blank_readonly_icon_buffer: !EV_PIXEL_BUFFER is
1056 -- Access to 'blank readonly' pixmap pixel buffer.
1057 once
1058 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 4))
1059 end
1060
1061 frozen folder_override_cluster_icon: !EV_PIXMAP is
1062 -- Access to 'cluster' pixmap.
1063 once
1064 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 4))
1065 end
1066
1067 frozen folder_override_cluster_icon_buffer: !EV_PIXEL_BUFFER is
1068 -- Access to 'cluster' pixmap pixel buffer.
1069 once
1070 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 4))
1071 end
1072
1073 frozen folder_override_cluster_readonly_icon: !EV_PIXMAP is
1074 -- Access to 'cluster readonly' pixmap.
1075 once
1076 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 4))
1077 end
1078
1079 frozen folder_override_cluster_readonly_icon_buffer: !EV_PIXEL_BUFFER is
1080 -- Access to 'cluster readonly' pixmap pixel buffer.
1081 once
1082 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 4))
1083 end
1084
1085 frozen folder_override_blank_icon: !EV_PIXMAP is
1086 -- Access to 'blank' pixmap.
1087 once
1088 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 4))
1089 end
1090
1091 frozen folder_override_blank_icon_buffer: !EV_PIXEL_BUFFER is
1092 -- Access to 'blank' pixmap pixel buffer.
1093 once
1094 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 4))
1095 end
1096
1097 frozen folder_override_blank_readonly_icon: !EV_PIXMAP is
1098 -- Access to 'blank readonly' pixmap.
1099 once
1100 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (30, 4))
1101 end
1102
1103 frozen folder_override_blank_readonly_icon_buffer: !EV_PIXEL_BUFFER is
1104 -- Access to 'blank readonly' pixmap pixel buffer.
1105 once
1106 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (30, 4))
1107 end
1108
1109 frozen tool_features_icon: !EV_PIXMAP is
1110 -- Access to 'features' pixmap.
1111 once
1112 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 5))
1113 end
1114
1115 frozen tool_features_icon_buffer: !EV_PIXEL_BUFFER is
1116 -- Access to 'features' pixmap pixel buffer.
1117 once
1118 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 5))
1119 end
1120
1121 frozen tool_clusters_icon: !EV_PIXMAP is
1122 -- Access to 'clusters' pixmap.
1123 once
1124 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 5))
1125 end
1126
1127 frozen tool_clusters_icon_buffer: !EV_PIXEL_BUFFER is
1128 -- Access to 'clusters' pixmap pixel buffer.
1129 once
1130 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 5))
1131 end
1132
1133 frozen tool_class_icon: !EV_PIXMAP is
1134 -- Access to 'class' pixmap.
1135 once
1136 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 5))
1137 end
1138
1139 frozen tool_class_icon_buffer: !EV_PIXEL_BUFFER is
1140 -- Access to 'class' pixmap pixel buffer.
1141 once
1142 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 5))
1143 end
1144
1145 frozen tool_feature_icon: !EV_PIXMAP is
1146 -- Access to 'feature' pixmap.
1147 once
1148 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 5))
1149 end
1150
1151 frozen tool_feature_icon_buffer: !EV_PIXEL_BUFFER is
1152 -- Access to 'feature' pixmap pixel buffer.
1153 once
1154 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 5))
1155 end
1156
1157 frozen tool_search_icon: !EV_PIXMAP is
1158 -- Access to 'search' pixmap.
1159 once
1160 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 5))
1161 end
1162
1163 frozen tool_search_icon_buffer: !EV_PIXEL_BUFFER is
1164 -- Access to 'search' pixmap pixel buffer.
1165 once
1166 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 5))
1167 end
1168
1169 frozen tool_advanced_search_icon: !EV_PIXMAP is
1170 -- Access to 'advanced search' pixmap.
1171 once
1172 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 5))
1173 end
1174
1175 frozen tool_advanced_search_icon_buffer: !EV_PIXEL_BUFFER is
1176 -- Access to 'advanced search' pixmap pixel buffer.
1177 once
1178 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 5))
1179 end
1180
1181 frozen tool_diagram_icon: !EV_PIXMAP is
1182 -- Access to 'diagram' pixmap.
1183 once
1184 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 5))
1185 end
1186
1187 frozen tool_diagram_icon_buffer: !EV_PIXEL_BUFFER is
1188 -- Access to 'diagram' pixmap pixel buffer.
1189 once
1190 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 5))
1191 end
1192
1193 frozen tool_error_icon: !EV_PIXMAP is
1194 -- Access to 'error' pixmap.
1195 once
1196 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 5))
1197 end
1198
1199 frozen tool_error_icon_buffer: !EV_PIXEL_BUFFER is
1200 -- Access to 'error' pixmap pixel buffer.
1201 once
1202 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 5))
1203 end
1204
1205 frozen tool_warning_icon: !EV_PIXMAP is
1206 -- Access to 'warning' pixmap.
1207 once
1208 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 5))
1209 end
1210
1211 frozen tool_warning_icon_buffer: !EV_PIXEL_BUFFER is
1212 -- Access to 'warning' pixmap pixel buffer.
1213 once
1214 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 5))
1215 end
1216
1217 frozen tool_breakpoints_icon: !EV_PIXMAP is
1218 -- Access to 'breakpoints' pixmap.
1219 once
1220 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 5))
1221 end
1222
1223 frozen tool_breakpoints_icon_buffer: !EV_PIXEL_BUFFER is
1224 -- Access to 'breakpoints' pixmap pixel buffer.
1225 once
1226 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 5))
1227 end
1228
1229 frozen tool_external_commands_icon: !EV_PIXMAP is
1230 -- Access to 'external commands' pixmap.
1231 once
1232 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 5))
1233 end
1234
1235 frozen tool_external_commands_icon_buffer: !EV_PIXEL_BUFFER is
1236 -- Access to 'external commands' pixmap pixel buffer.
1237 once
1238 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 5))
1239 end
1240
1241 frozen tool_preferences_icon: !EV_PIXMAP is
1242 -- Access to 'preferences' pixmap.
1243 once
1244 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 5))
1245 end
1246
1247 frozen tool_preferences_icon_buffer: !EV_PIXEL_BUFFER is
1248 -- Access to 'preferences' pixmap pixel buffer.
1249 once
1250 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 5))
1251 end
1252
1253 frozen tool_call_stack_icon: !EV_PIXMAP is
1254 -- Access to 'call stack' pixmap.
1255 once
1256 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 5))
1257 end
1258
1259 frozen tool_call_stack_icon_buffer: !EV_PIXEL_BUFFER is
1260 -- Access to 'call stack' pixmap pixel buffer.
1261 once
1262 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 5))
1263 end
1264
1265 frozen tool_favorites_icon: !EV_PIXMAP is
1266 -- Access to 'favorites' pixmap.
1267 once
1268 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 5))
1269 end
1270
1271 frozen tool_favorites_icon_buffer: !EV_PIXEL_BUFFER is
1272 -- Access to 'favorites' pixmap pixel buffer.
1273 once
1274 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 5))
1275 end
1276
1277 frozen tool_output_icon: !EV_PIXMAP is
1278 -- Access to 'output' pixmap.
1279 once
1280 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 5))
1281 end
1282
1283 frozen tool_output_icon_buffer: !EV_PIXEL_BUFFER is
1284 -- Access to 'output' pixmap pixel buffer.
1285 once
1286 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 5))
1287 end
1288
1289 frozen tool_external_output_icon: !EV_PIXMAP is
1290 -- Access to 'external output' pixmap.
1291 once
1292 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 5))
1293 end
1294
1295 frozen tool_external_output_icon_buffer: !EV_PIXEL_BUFFER is
1296 -- Access to 'external output' pixmap pixel buffer.
1297 once
1298 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 5))
1299 end
1300
1301 frozen tool_objects_icon: !EV_PIXMAP is
1302 -- Access to 'objects' pixmap.
1303 once
1304 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 5))
1305 end
1306
1307 frozen tool_objects_icon_buffer: !EV_PIXEL_BUFFER is
1308 -- Access to 'objects' pixmap pixel buffer.
1309 once
1310 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 5))
1311 end
1312
1313 frozen tool_watch_icon: !EV_PIXMAP is
1314 -- Access to 'watch' pixmap.
1315 once
1316 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 5))
1317 end
1318
1319 frozen tool_watch_icon_buffer: !EV_PIXEL_BUFFER is
1320 -- Access to 'watch' pixmap pixel buffer.
1321 once
1322 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 5))
1323 end
1324
1325 frozen tool_c_output_icon: !EV_PIXMAP is
1326 -- Access to 'c output' pixmap.
1327 once
1328 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 5))
1329 end
1330
1331 frozen tool_c_output_icon_buffer: !EV_PIXEL_BUFFER is
1332 -- Access to 'c output' pixmap pixel buffer.
1333 once
1334 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 5))
1335 end
1336
1337 frozen tool_config_icon: !EV_PIXMAP is
1338 -- Access to 'config' pixmap.
1339 once
1340 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 5))
1341 end
1342
1343 frozen tool_config_icon_buffer: !EV_PIXEL_BUFFER is
1344 -- Access to 'config' pixmap pixel buffer.
1345 once
1346 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 5))
1347 end
1348
1349 frozen tool_metric_icon: !EV_PIXMAP is
1350 -- Access to 'metric' pixmap.
1351 once
1352 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 5))
1353 end
1354
1355 frozen tool_metric_icon_buffer: !EV_PIXEL_BUFFER is
1356 -- Access to 'metric' pixmap pixel buffer.
1357 once
1358 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 5))
1359 end
1360
1361 frozen tool_output_successful_icon: !EV_PIXMAP is
1362 -- Access to 'output successful' pixmap.
1363 once
1364 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 5))
1365 end
1366
1367 frozen tool_output_successful_icon_buffer: !EV_PIXEL_BUFFER is
1368 -- Access to 'output successful' pixmap pixel buffer.
1369 once
1370 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 5))
1371 end
1372
1373 frozen tool_output_failed_icon: !EV_PIXMAP is
1374 -- Access to 'output failed' pixmap.
1375 once
1376 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 5))
1377 end
1378
1379 frozen tool_output_failed_icon_buffer: !EV_PIXEL_BUFFER is
1380 -- Access to 'output failed' pixmap pixel buffer.
1381 once
1382 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 5))
1383 end
1384
1385 frozen tool_c_output_successful_icon: !EV_PIXMAP is
1386 -- Access to 'c output successful' pixmap.
1387 once
1388 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 5))
1389 end
1390
1391 frozen tool_c_output_successful_icon_buffer: !EV_PIXEL_BUFFER is
1392 -- Access to 'c output successful' pixmap pixel buffer.
1393 once
1394 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 5))
1395 end
1396
1397 frozen tool_c_output_failed_icon: !EV_PIXMAP is
1398 -- Access to 'c output failed' pixmap.
1399 once
1400 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 5))
1401 end
1402
1403 frozen tool_c_output_failed_icon_buffer: !EV_PIXEL_BUFFER is
1404 -- Access to 'c output failed' pixmap pixel buffer.
1405 once
1406 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 5))
1407 end
1408
1409 frozen tool_threads_icon: !EV_PIXMAP is
1410 -- Access to 'threads' pixmap.
1411 once
1412 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 5))
1413 end
1414
1415 frozen tool_threads_icon_buffer: !EV_PIXEL_BUFFER is
1416 -- Access to 'threads' pixmap pixel buffer.
1417 once
1418 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 5))
1419 end
1420
1421 frozen tool_find_results_icon: !EV_PIXMAP is
1422 -- Access to 'find results' pixmap.
1423 once
1424 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 5))
1425 end
1426
1427 frozen tool_find_results_icon_buffer: !EV_PIXEL_BUFFER is
1428 -- Access to 'find results' pixmap pixel buffer.
1429 once
1430 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 5))
1431 end
1432
1433 frozen tool_properties_icon: !EV_PIXMAP is
1434 -- Access to 'properties' pixmap.
1435 once
1436 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 5))
1437 end
1438
1439 frozen tool_properties_icon_buffer: !EV_PIXEL_BUFFER is
1440 -- Access to 'properties' pixmap pixel buffer.
1441 once
1442 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 5))
1443 end
1444
1445 frozen tool_errors_list_with_errors_and_warnings_icon: !EV_PIXMAP is
1446 -- Access to 'errors list with errors and warnings' pixmap.
1447 once
1448 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 5))
1449 end
1450
1451 frozen tool_errors_list_with_errors_and_warnings_icon_buffer: !EV_PIXEL_BUFFER is
1452 -- Access to 'errors list with errors and warnings' pixmap pixel buffer.
1453 once
1454 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 5))
1455 end
1456
1457 frozen tool_errors_list_with_errors_icon: !EV_PIXMAP is
1458 -- Access to 'errors list with errors' pixmap.
1459 once
1460 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (30, 5))
1461 end
1462
1463 frozen tool_errors_list_with_errors_icon_buffer: !EV_PIXEL_BUFFER is
1464 -- Access to 'errors list with errors' pixmap pixel buffer.
1465 once
1466 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (30, 5))
1467 end
1468
1469 frozen tool_errors_list_with_warnings_icon: !EV_PIXMAP is
1470 -- Access to 'errors list with warnings' pixmap.
1471 once
1472 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (31, 5))
1473 end
1474
1475 frozen tool_errors_list_with_warnings_icon_buffer: !EV_PIXEL_BUFFER is
1476 -- Access to 'errors list with warnings' pixmap pixel buffer.
1477 once
1478 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (31, 5))
1479 end
1480
1481 frozen tool_contract_editor_icon: !EV_PIXMAP is
1482 -- Access to 'contract editor' pixmap.
1483 once
1484 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (32, 5))
1485 end
1486
1487 frozen tool_contract_editor_icon_buffer: !EV_PIXEL_BUFFER is
1488 -- Access to 'contract editor' pixmap pixel buffer.
1489 once
1490 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (32, 5))
1491 end
1492
1493 frozen project_melt_icon: !EV_PIXMAP is
1494 -- Access to 'melt' pixmap.
1495 once
1496 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 7))
1497 end
1498
1499 frozen project_melt_icon_buffer: !EV_PIXEL_BUFFER is
1500 -- Access to 'melt' pixmap pixel buffer.
1501 once
1502 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 7))
1503 end
1504
1505 frozen project_quick_melt_icon: !EV_PIXMAP is
1506 -- Access to 'quick melt' pixmap.
1507 once
1508 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 7))
1509 end
1510
1511 frozen project_quick_melt_icon_buffer: !EV_PIXEL_BUFFER is
1512 -- Access to 'quick melt' pixmap pixel buffer.
1513 once
1514 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 7))
1515 end
1516
1517 frozen project_freeze_icon: !EV_PIXMAP is
1518 -- Access to 'freeze' pixmap.
1519 once
1520 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 7))
1521 end
1522
1523 frozen project_freeze_icon_buffer: !EV_PIXEL_BUFFER is
1524 -- Access to 'freeze' pixmap pixel buffer.
1525 once
1526 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 7))
1527 end
1528
1529 frozen project_finalize_icon: !EV_PIXMAP is
1530 -- Access to 'finalize' pixmap.
1531 once
1532 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 7))
1533 end
1534
1535 frozen project_finalize_icon_buffer: !EV_PIXEL_BUFFER is
1536 -- Access to 'finalize' pixmap pixel buffer.
1537 once
1538 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 7))
1539 end
1540
1541 frozen project_discover_melt_icon: !EV_PIXMAP is
1542 -- Access to 'discover melt' pixmap.
1543 once
1544 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 7))
1545 end
1546
1547 frozen project_discover_melt_icon_buffer: !EV_PIXEL_BUFFER is
1548 -- Access to 'discover melt' pixmap pixel buffer.
1549 once
1550 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 7))
1551 end
1552
1553 frozen debug_run_icon: !EV_PIXMAP is
1554 -- Access to 'run' pixmap.
1555 once
1556 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 7))
1557 end
1558
1559 frozen debug_run_icon_buffer: !EV_PIXEL_BUFFER is
1560 -- Access to 'run' pixmap pixel buffer.
1561 once
1562 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 7))
1563 end
1564
1565 frozen debug_pause_icon: !EV_PIXMAP is
1566 -- Access to 'pause' pixmap.
1567 once
1568 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 7))
1569 end
1570
1571 frozen debug_pause_icon_buffer: !EV_PIXEL_BUFFER is
1572 -- Access to 'pause' pixmap pixel buffer.
1573 once
1574 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 7))
1575 end
1576
1577 frozen debug_stop_icon: !EV_PIXMAP is
1578 -- Access to 'stop' pixmap.
1579 once
1580 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 7))
1581 end
1582
1583 frozen debug_stop_icon_buffer: !EV_PIXEL_BUFFER is
1584 -- Access to 'stop' pixmap pixel buffer.
1585 once
1586 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 7))
1587 end
1588
1589 frozen debug_restart_icon: !EV_PIXMAP is
1590 -- Access to 'restart' pixmap.
1591 once
1592 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 7))
1593 end
1594
1595 frozen debug_restart_icon_buffer: !EV_PIXEL_BUFFER is
1596 -- Access to 'restart' pixmap pixel buffer.
1597 once
1598 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 7))
1599 end
1600
1601 frozen debug_show_execution_point_icon: !EV_PIXMAP is
1602 -- Access to 'show execution point' pixmap.
1603 once
1604 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 7))
1605 end
1606
1607 frozen debug_show_execution_point_icon_buffer: !EV_PIXEL_BUFFER is
1608 -- Access to 'show execution point' pixmap pixel buffer.
1609 once
1610 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 7))
1611 end
1612
1613 frozen debug_run_without_breakpoint_icon: !EV_PIXMAP is
1614 -- Access to 'run without breakpoint' pixmap.
1615 once
1616 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 7))
1617 end
1618
1619 frozen debug_run_without_breakpoint_icon_buffer: !EV_PIXEL_BUFFER is
1620 -- Access to 'run without breakpoint' pixmap pixel buffer.
1621 once
1622 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 7))
1623 end
1624
1625 frozen debug_run_finalized_icon: !EV_PIXMAP is
1626 -- Access to 'run finalized' pixmap.
1627 once
1628 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 7))
1629 end
1630
1631 frozen debug_run_finalized_icon_buffer: !EV_PIXEL_BUFFER is
1632 -- Access to 'run finalized' pixmap pixel buffer.
1633 once
1634 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 7))
1635 end
1636
1637 frozen debug_step_into_icon: !EV_PIXMAP is
1638 -- Access to 'step into' pixmap.
1639 once
1640 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 7))
1641 end
1642
1643 frozen debug_step_into_icon_buffer: !EV_PIXEL_BUFFER is
1644 -- Access to 'step into' pixmap pixel buffer.
1645 once
1646 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 7))
1647 end
1648
1649 frozen debug_step_over_icon: !EV_PIXMAP is
1650 -- Access to 'step over' pixmap.
1651 once
1652 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 7))
1653 end
1654
1655 frozen debug_step_over_icon_buffer: !EV_PIXEL_BUFFER is
1656 -- Access to 'step over' pixmap pixel buffer.
1657 once
1658 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 7))
1659 end
1660
1661 frozen debug_step_out_icon: !EV_PIXMAP is
1662 -- Access to 'step out' pixmap.
1663 once
1664 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 7))
1665 end
1666
1667 frozen debug_step_out_icon_buffer: !EV_PIXEL_BUFFER is
1668 -- Access to 'step out' pixmap pixel buffer.
1669 once
1670 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 7))
1671 end
1672
1673 frozen debug_exception_dialog_icon: !EV_PIXMAP is
1674 -- Access to 'exception dialog' pixmap.
1675 once
1676 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 7))
1677 end
1678
1679 frozen debug_exception_dialog_icon_buffer: !EV_PIXEL_BUFFER is
1680 -- Access to 'exception dialog' pixmap pixel buffer.
1681 once
1682 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 7))
1683 end
1684
1685 frozen debug_disable_assertions_icon: !EV_PIXMAP is
1686 -- Access to 'disable assertions' pixmap.
1687 once
1688 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 7))
1689 end
1690
1691 frozen debug_disable_assertions_icon_buffer: !EV_PIXEL_BUFFER is
1692 -- Access to 'disable assertions' pixmap pixel buffer.
1693 once
1694 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 7))
1695 end
1696
1697 frozen debug_resume_assertions_icon: !EV_PIXMAP is
1698 -- Access to 'resume assertions' pixmap.
1699 once
1700 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 7))
1701 end
1702
1703 frozen debug_resume_assertions_icon_buffer: !EV_PIXEL_BUFFER is
1704 -- Access to 'resume assertions' pixmap pixel buffer.
1705 once
1706 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 7))
1707 end
1708
1709 frozen debug_exception_handling_icon: !EV_PIXMAP is
1710 -- Access to 'exception handling' pixmap.
1711 once
1712 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 7))
1713 end
1714
1715 frozen debug_exception_handling_icon_buffer: !EV_PIXEL_BUFFER is
1716 -- Access to 'exception handling' pixmap pixel buffer.
1717 once
1718 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 7))
1719 end
1720
1721 frozen debugger_object_immediate_icon: !EV_PIXMAP is
1722 -- Access to 'immediate' pixmap.
1723 once
1724 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 7))
1725 end
1726
1727 frozen debugger_object_immediate_icon_buffer: !EV_PIXEL_BUFFER is
1728 -- Access to 'immediate' pixmap pixel buffer.
1729 once
1730 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 7))
1731 end
1732
1733 frozen debugger_object_eiffel_icon: !EV_PIXMAP is
1734 -- Access to 'eiffel' pixmap.
1735 once
1736 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 7))
1737 end
1738
1739 frozen debugger_object_eiffel_icon_buffer: !EV_PIXEL_BUFFER is
1740 -- Access to 'eiffel' pixmap pixel buffer.
1741 once
1742 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 7))
1743 end
1744
1745 frozen debugger_object_dotnet_icon: !EV_PIXMAP is
1746 -- Access to 'dotnet' pixmap.
1747 once
1748 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 7))
1749 end
1750
1751 frozen debugger_object_dotnet_icon_buffer: !EV_PIXEL_BUFFER is
1752 -- Access to 'dotnet' pixmap pixel buffer.
1753 once
1754 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 7))
1755 end
1756
1757 frozen debugger_object_dotnet_static_icon: !EV_PIXMAP is
1758 -- Access to 'dotnet static' pixmap.
1759 once
1760 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 7))
1761 end
1762
1763 frozen debugger_object_dotnet_static_icon_buffer: !EV_PIXEL_BUFFER is
1764 -- Access to 'dotnet static' pixmap pixel buffer.
1765 once
1766 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 7))
1767 end
1768
1769 frozen debugger_object_static_icon: !EV_PIXMAP is
1770 -- Access to 'static' pixmap.
1771 once
1772 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 7))
1773 end
1774
1775 frozen debugger_object_static_icon_buffer: !EV_PIXEL_BUFFER is
1776 -- Access to 'static' pixmap pixel buffer.
1777 once
1778 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 7))
1779 end
1780
1781 frozen debugger_object_void_icon: !EV_PIXMAP is
1782 -- Access to 'void' pixmap.
1783 once
1784 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 7))
1785 end
1786
1787 frozen debugger_object_void_icon_buffer: !EV_PIXEL_BUFFER is
1788 -- Access to 'void' pixmap pixel buffer.
1789 once
1790 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 7))
1791 end
1792
1793 frozen debugger_object_expanded_icon: !EV_PIXMAP is
1794 -- Access to 'expanded' pixmap.
1795 once
1796 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 7))
1797 end
1798
1799 frozen debugger_object_expanded_icon_buffer: !EV_PIXEL_BUFFER is
1800 -- Access to 'expanded' pixmap pixel buffer.
1801 once
1802 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 7))
1803 end
1804
1805 frozen debugger_object_dotnet_expanded_icon: !EV_PIXMAP is
1806 -- Access to 'dotnet expanded' pixmap.
1807 once
1808 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 7))
1809 end
1810
1811 frozen debugger_object_dotnet_expanded_icon_buffer: !EV_PIXEL_BUFFER is
1812 -- Access to 'dotnet expanded' pixmap pixel buffer.
1813 once
1814 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 7))
1815 end
1816
1817 frozen debugger_object_watched_icon: !EV_PIXMAP is
1818 -- Access to 'watched' pixmap.
1819 once
1820 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 7))
1821 end
1822
1823 frozen debugger_object_watched_icon_buffer: !EV_PIXEL_BUFFER is
1824 -- Access to 'watched' pixmap pixel buffer.
1825 once
1826 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 7))
1827 end
1828
1829 frozen debugger_object_watched_disabled_icon: !EV_PIXMAP is
1830 -- Access to 'watched disabled' pixmap.
1831 once
1832 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 7))
1833 end
1834
1835 frozen debugger_object_watched_disabled_icon_buffer: !EV_PIXEL_BUFFER is
1836 -- Access to 'watched disabled' pixmap pixel buffer.
1837 once
1838 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 7))
1839 end
1840
1841 frozen debugger_object_expand_icon: !EV_PIXMAP is
1842 -- Access to 'expand' pixmap.
1843 once
1844 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (30, 7))
1845 end
1846
1847 frozen debugger_object_expand_icon_buffer: !EV_PIXEL_BUFFER is
1848 -- Access to 'expand' pixmap pixel buffer.
1849 once
1850 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (30, 7))
1851 end
1852
1853 frozen breakpoints_delete_icon: !EV_PIXMAP is
1854 -- Access to 'delete' pixmap.
1855 once
1856 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (31, 7))
1857 end
1858
1859 frozen breakpoints_delete_icon_buffer: !EV_PIXEL_BUFFER is
1860 -- Access to 'delete' pixmap pixel buffer.
1861 once
1862 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (31, 7))
1863 end
1864
1865 frozen breakpoints_disable_icon: !EV_PIXMAP is
1866 -- Access to 'disable' pixmap.
1867 once
1868 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (32, 7))
1869 end
1870
1871 frozen breakpoints_disable_icon_buffer: !EV_PIXEL_BUFFER is
1872 -- Access to 'disable' pixmap pixel buffer.
1873 once
1874 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (32, 7))
1875 end
1876
1877 frozen breakpoints_enable_icon: !EV_PIXMAP is
1878 -- Access to 'enable' pixmap.
1879 once
1880 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (33, 7))
1881 end
1882
1883 frozen breakpoints_enable_icon_buffer: !EV_PIXEL_BUFFER is
1884 -- Access to 'enable' pixmap pixel buffer.
1885 once
1886 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (33, 7))
1887 end
1888
1889 frozen callstack_active_arrow_icon: !EV_PIXMAP is
1890 -- Access to 'active arrow' pixmap.
1891 once
1892 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 8))
1893 end
1894
1895 frozen callstack_active_arrow_icon_buffer: !EV_PIXEL_BUFFER is
1896 -- Access to 'active arrow' pixmap pixel buffer.
1897 once
1898 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 8))
1899 end
1900
1901 frozen callstack_empty_arrow_icon: !EV_PIXMAP is
1902 -- Access to 'empty arrow' pixmap.
1903 once
1904 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 8))
1905 end
1906
1907 frozen callstack_empty_arrow_icon_buffer: !EV_PIXEL_BUFFER is
1908 -- Access to 'empty arrow' pixmap pixel buffer.
1909 once
1910 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 8))
1911 end
1912
1913 frozen callstack_marked_arrow_icon: !EV_PIXMAP is
1914 -- Access to 'marked arrow' pixmap.
1915 once
1916 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 8))
1917 end
1918
1919 frozen callstack_marked_arrow_icon_buffer: !EV_PIXEL_BUFFER is
1920 -- Access to 'marked arrow' pixmap pixel buffer.
1921 once
1922 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 8))
1923 end
1924
1925 frozen callstack_replayed_active_icon: !EV_PIXMAP is
1926 -- Access to 'replayed active' pixmap.
1927 once
1928 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 8))
1929 end
1930
1931 frozen callstack_replayed_active_icon_buffer: !EV_PIXEL_BUFFER is
1932 -- Access to 'replayed active' pixmap pixel buffer.
1933 once
1934 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 8))
1935 end
1936
1937 frozen callstack_replayed_empty_icon: !EV_PIXMAP is
1938 -- Access to 'replayed empty' pixmap.
1939 once
1940 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 8))
1941 end
1942
1943 frozen callstack_replayed_empty_icon_buffer: !EV_PIXEL_BUFFER is
1944 -- Access to 'replayed empty' pixmap pixel buffer.
1945 once
1946 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 8))
1947 end
1948
1949 frozen callstack_replayed_marked_icon: !EV_PIXMAP is
1950 -- Access to 'replayed marked' pixmap.
1951 once
1952 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 8))
1953 end
1954
1955 frozen callstack_replayed_marked_icon_buffer: !EV_PIXEL_BUFFER is
1956 -- Access to 'replayed marked' pixmap pixel buffer.
1957 once
1958 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 8))
1959 end
1960
1961 frozen debugger_environment_force_debug_mode_icon: !EV_PIXMAP is
1962 -- Access to 'force debug mode' pixmap.
1963 once
1964 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 8))
1965 end
1966
1967 frozen debugger_environment_force_debug_mode_icon_buffer: !EV_PIXEL_BUFFER is
1968 -- Access to 'force debug mode' pixmap pixel buffer.
1969 once
1970 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 8))
1971 end
1972
1973 frozen debugger_environment_with_breakpoints_icon: !EV_PIXMAP is
1974 -- Access to 'with breakpoints' pixmap.
1975 once
1976 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 8))
1977 end
1978
1979 frozen debugger_environment_with_breakpoints_icon_buffer: !EV_PIXEL_BUFFER is
1980 -- Access to 'with breakpoints' pixmap pixel buffer.
1981 once
1982 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 8))
1983 end
1984
1985 frozen debugger_environment_without_breakpoints_icon: !EV_PIXMAP is
1986 -- Access to 'without breakpoints' pixmap.
1987 once
1988 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 8))
1989 end
1990
1991 frozen debugger_environment_without_breakpoints_icon_buffer: !EV_PIXEL_BUFFER is
1992 -- Access to 'without breakpoints' pixmap pixel buffer.
1993 once
1994 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 8))
1995 end
1996
1997 frozen execution_record_icon: !EV_PIXMAP is
1998 -- Access to 'record' pixmap.
1999 once
2000 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 8))
2001 end
2002
2003 frozen execution_record_icon_buffer: !EV_PIXEL_BUFFER is
2004 -- Access to 'record' pixmap pixel buffer.
2005 once
2006 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 8))
2007 end
2008
2009 frozen execution_replay_icon: !EV_PIXMAP is
2010 -- Access to 'replay' pixmap.
2011 once
2012 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 8))
2013 end
2014
2015 frozen execution_replay_icon_buffer: !EV_PIXEL_BUFFER is
2016 -- Access to 'replay' pixmap pixel buffer.
2017 once
2018 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 8))
2019 end
2020
2021 frozen execution_object_storage_icon: !EV_PIXMAP is
2022 -- Access to 'object storage' pixmap.
2023 once
2024 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 8))
2025 end
2026
2027 frozen execution_object_storage_icon_buffer: !EV_PIXEL_BUFFER is
2028 -- Access to 'object storage' pixmap pixel buffer.
2029 once
2030 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 8))
2031 end
2032
2033 frozen general_blank_icon: !EV_PIXMAP is
2034 -- Access to 'blank' pixmap.
2035 once
2036 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 9))
2037 end
2038
2039 frozen general_blank_icon_buffer: !EV_PIXEL_BUFFER is
2040 -- Access to 'blank' pixmap pixel buffer.
2041 once
2042 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 9))
2043 end
2044
2045 frozen general_dialog_icon: !EV_PIXMAP is
2046 -- Access to 'dialog' pixmap.
2047 once
2048 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 9))
2049 end
2050
2051 frozen general_dialog_icon_buffer: !EV_PIXEL_BUFFER is
2052 -- Access to 'dialog' pixmap pixel buffer.
2053 once
2054 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 9))
2055 end
2056
2057 frozen general_open_icon: !EV_PIXMAP is
2058 -- Access to 'open' pixmap.
2059 once
2060 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 9))
2061 end
2062
2063 frozen general_open_icon_buffer: !EV_PIXEL_BUFFER is
2064 -- Access to 'open' pixmap pixel buffer.
2065 once
2066 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 9))
2067 end
2068
2069 frozen general_save_icon: !EV_PIXMAP is
2070 -- Access to 'save' pixmap.
2071 once
2072 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 9))
2073 end
2074
2075 frozen general_save_icon_buffer: !EV_PIXEL_BUFFER is
2076 -- Access to 'save' pixmap pixel buffer.
2077 once
2078 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 9))
2079 end
2080
2081 frozen general_save_all_icon: !EV_PIXMAP is
2082 -- Access to 'save all' pixmap.
2083 once
2084 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 9))
2085 end
2086
2087 frozen general_save_all_icon_buffer: !EV_PIXEL_BUFFER is
2088 -- Access to 'save all' pixmap pixel buffer.
2089 once
2090 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 9))
2091 end
2092
2093 frozen general_add_icon: !EV_PIXMAP is
2094 -- Access to 'add' pixmap.
2095 once
2096 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 9))
2097 end
2098
2099 frozen general_add_icon_buffer: !EV_PIXEL_BUFFER is
2100 -- Access to 'add' pixmap pixel buffer.
2101 once
2102 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 9))
2103 end
2104
2105 frozen general_edit_icon: !EV_PIXMAP is
2106 -- Access to 'edit' pixmap.
2107 once
2108 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 9))
2109 end
2110
2111 frozen general_edit_icon_buffer: !EV_PIXEL_BUFFER is
2112 -- Access to 'edit' pixmap pixel buffer.
2113 once
2114 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 9))
2115 end
2116
2117 frozen general_remove_icon: !EV_PIXMAP is
2118 -- Access to 'remove' pixmap.
2119 once
2120 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 9))
2121 end
2122
2123 frozen general_remove_icon_buffer: !EV_PIXEL_BUFFER is
2124 -- Access to 'remove' pixmap pixel buffer.
2125 once
2126 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 9))
2127 end
2128
2129 frozen general_delete_icon: !EV_PIXMAP is
2130 -- Access to 'delete' pixmap.
2131 once
2132 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 9))
2133 end
2134
2135 frozen general_delete_icon_buffer: !EV_PIXEL_BUFFER is
2136 -- Access to 'delete' pixmap pixel buffer.
2137 once
2138 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 9))
2139 end
2140
2141 frozen general_document_icon: !EV_PIXMAP is
2142 -- Access to 'document' pixmap.
2143 once
2144 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 9))
2145 end
2146
2147 frozen general_document_icon_buffer: !EV_PIXEL_BUFFER is
2148 -- Access to 'document' pixmap pixel buffer.
2149 once
2150 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 9))
2151 end
2152
2153 frozen general_cut_icon: !EV_PIXMAP is
2154 -- Access to 'cut' pixmap.
2155 once
2156 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 9))
2157 end
2158
2159 frozen general_cut_icon_buffer: !EV_PIXEL_BUFFER is
2160 -- Access to 'cut' pixmap pixel buffer.
2161 once
2162 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 9))
2163 end
2164
2165 frozen general_copy_icon: !EV_PIXMAP is
2166 -- Access to 'copy' pixmap.
2167 once
2168 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 9))
2169 end
2170
2171 frozen general_copy_icon_buffer: !EV_PIXEL_BUFFER is
2172 -- Access to 'copy' pixmap pixel buffer.
2173 once
2174 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 9))
2175 end
2176
2177 frozen general_paste_icon: !EV_PIXMAP is
2178 -- Access to 'paste' pixmap.
2179 once
2180 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 9))
2181 end
2182
2183 frozen general_paste_icon_buffer: !EV_PIXEL_BUFFER is
2184 -- Access to 'paste' pixmap pixel buffer.
2185 once
2186 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 9))
2187 end
2188
2189 frozen general_undo_icon: !EV_PIXMAP is
2190 -- Access to 'undo' pixmap.
2191 once
2192 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 9))
2193 end
2194
2195 frozen general_undo_icon_buffer: !EV_PIXEL_BUFFER is
2196 -- Access to 'undo' pixmap pixel buffer.
2197 once
2198 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 9))
2199 end
2200
2201 frozen general_redo_icon: !EV_PIXMAP is
2202 -- Access to 'redo' pixmap.
2203 once
2204 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 9))
2205 end
2206
2207 frozen general_redo_icon_buffer: !EV_PIXEL_BUFFER is
2208 -- Access to 'redo' pixmap pixel buffer.
2209 once
2210 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 9))
2211 end
2212
2213 frozen general_error_icon: !EV_PIXMAP is
2214 -- Access to 'error' pixmap.
2215 once
2216 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 9))
2217 end
2218
2219 frozen general_error_icon_buffer: !EV_PIXEL_BUFFER is
2220 -- Access to 'error' pixmap pixel buffer.
2221 once
2222 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 9))
2223 end
2224
2225 frozen general_mini_error_icon: !EV_PIXMAP is
2226 -- Access to 'mini error' pixmap.
2227 once
2228 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 9))
2229 end
2230
2231 frozen general_mini_error_icon_buffer: !EV_PIXEL_BUFFER is
2232 -- Access to 'mini error' pixmap pixel buffer.
2233 once
2234 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 9))
2235 end
2236
2237 frozen general_warning_icon: !EV_PIXMAP is
2238 -- Access to 'warning' pixmap.
2239 once
2240 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 9))
2241 end
2242
2243 frozen general_warning_icon_buffer: !EV_PIXEL_BUFFER is
2244 -- Access to 'warning' pixmap pixel buffer.
2245 once
2246 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 9))
2247 end
2248
2249 frozen general_show_tool_tips_icon: !EV_PIXMAP is
2250 -- Access to 'show tool tips' pixmap.
2251 once
2252 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 9))
2253 end
2254
2255 frozen general_show_tool_tips_icon_buffer: !EV_PIXEL_BUFFER is
2256 -- Access to 'show tool tips' pixmap pixel buffer.
2257 once
2258 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 9))
2259 end
2260
2261 frozen general_close_icon: !EV_PIXMAP is
2262 -- Access to 'close' pixmap.
2263 once
2264 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 9))
2265 end
2266
2267 frozen general_close_icon_buffer: !EV_PIXEL_BUFFER is
2268 -- Access to 'close' pixmap pixel buffer.
2269 once
2270 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 9))
2271 end
2272
2273 frozen general_arrow_up_icon: !EV_PIXMAP is
2274 -- Access to 'arrow up' pixmap.
2275 once
2276 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 9))
2277 end
2278
2279 frozen general_arrow_up_icon_buffer: !EV_PIXEL_BUFFER is
2280 -- Access to 'arrow up' pixmap pixel buffer.
2281 once
2282 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 9))
2283 end
2284
2285 frozen general_arrow_down_icon: !EV_PIXMAP is
2286 -- Access to 'arrow down' pixmap.
2287 once
2288 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 9))
2289 end
2290
2291 frozen general_arrow_down_icon_buffer: !EV_PIXEL_BUFFER is
2292 -- Access to 'arrow down' pixmap pixel buffer.
2293 once
2294 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 9))
2295 end
2296
2297 frozen general_tick_icon: !EV_PIXMAP is
2298 -- Access to 'tick' pixmap.
2299 once
2300 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 9))
2301 end
2302
2303 frozen general_tick_icon_buffer: !EV_PIXEL_BUFFER is
2304 -- Access to 'tick' pixmap pixel buffer.
2305 once
2306 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 9))
2307 end
2308
2309 frozen general_word_wrap_icon: !EV_PIXMAP is
2310 -- Access to 'word wrap' pixmap.
2311 once
2312 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 9))
2313 end
2314
2315 frozen general_word_wrap_icon_buffer: !EV_PIXEL_BUFFER is
2316 -- Access to 'word wrap' pixmap pixel buffer.
2317 once
2318 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 9))
2319 end
2320
2321 frozen general_send_enter_icon: !EV_PIXMAP is
2322 -- Access to 'send enter' pixmap.
2323 once
2324 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 9))
2325 end
2326
2327 frozen general_send_enter_icon_buffer: !EV_PIXEL_BUFFER is
2328 -- Access to 'send enter' pixmap pixel buffer.
2329 once
2330 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 9))
2331 end
2332
2333 frozen general_reset_icon: !EV_PIXMAP is
2334 -- Access to 'reset' pixmap.
2335 once
2336 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 9))
2337 end
2338
2339 frozen general_reset_icon_buffer: !EV_PIXEL_BUFFER is
2340 -- Access to 'reset' pixmap pixel buffer.
2341 once
2342 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 9))
2343 end
2344
2345 frozen general_hand_icon: !EV_PIXMAP is
2346 -- Access to 'hand' pixmap.
2347 once
2348 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 9))
2349 end
2350
2351 frozen general_hand_icon_buffer: !EV_PIXEL_BUFFER is
2352 -- Access to 'hand' pixmap pixel buffer.
2353 once
2354 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 9))
2355 end
2356
2357 frozen general_print_icon: !EV_PIXMAP is
2358 -- Access to 'print' pixmap.
2359 once
2360 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 9))
2361 end
2362
2363 frozen general_print_icon_buffer: !EV_PIXEL_BUFFER is
2364 -- Access to 'print' pixmap pixel buffer.
2365 once
2366 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 9))
2367 end
2368
2369 frozen general_undo_history_icon: !EV_PIXMAP is
2370 -- Access to 'undo history' pixmap.
2371 once
2372 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 9))
2373 end
2374
2375 frozen general_undo_history_icon_buffer: !EV_PIXEL_BUFFER is
2376 -- Access to 'undo history' pixmap pixel buffer.
2377 once
2378 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 9))
2379 end
2380
2381 frozen general_check_document_icon: !EV_PIXMAP is
2382 -- Access to 'check document' pixmap.
2383 once
2384 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (30, 9))
2385 end
2386
2387 frozen general_check_document_icon_buffer: !EV_PIXEL_BUFFER is
2388 -- Access to 'check document' pixmap pixel buffer.
2389 once
2390 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (30, 9))
2391 end
2392
2393 frozen general_move_up_icon: !EV_PIXMAP is
2394 -- Access to 'move up' pixmap.
2395 once
2396 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (31, 9))
2397 end
2398
2399 frozen general_move_up_icon_buffer: !EV_PIXEL_BUFFER is
2400 -- Access to 'move up' pixmap pixel buffer.
2401 once
2402 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (31, 9))
2403 end
2404
2405 frozen general_move_down_icon: !EV_PIXMAP is
2406 -- Access to 'move down' pixmap.
2407 once
2408 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (32, 9))
2409 end
2410
2411 frozen general_move_down_icon_buffer: !EV_PIXEL_BUFFER is
2412 -- Access to 'move down' pixmap pixel buffer.
2413 once
2414 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (32, 9))
2415 end
2416
2417 frozen general_move_left_icon: !EV_PIXMAP is
2418 -- Access to 'move left' pixmap.
2419 once
2420 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (33, 9))
2421 end
2422
2423 frozen general_move_left_icon_buffer: !EV_PIXEL_BUFFER is
2424 -- Access to 'move left' pixmap pixel buffer.
2425 once
2426 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (33, 9))
2427 end
2428
2429 frozen general_move_right_icon: !EV_PIXMAP is
2430 -- Access to 'move right' pixmap.
2431 once
2432 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 10))
2433 end
2434
2435 frozen general_move_right_icon_buffer: !EV_PIXEL_BUFFER is
2436 -- Access to 'move right' pixmap pixel buffer.
2437 once
2438 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 10))
2439 end
2440
2441 frozen general_close_document_icon: !EV_PIXMAP is
2442 -- Access to 'close document' pixmap.
2443 once
2444 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 10))
2445 end
2446
2447 frozen general_close_document_icon_buffer: !EV_PIXEL_BUFFER is
2448 -- Access to 'close document' pixmap pixel buffer.
2449 once
2450 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 10))
2451 end
2452
2453 frozen general_close_all_documents_icon: !EV_PIXMAP is
2454 -- Access to 'close all documents' pixmap.
2455 once
2456 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 10))
2457 end
2458
2459 frozen general_close_all_documents_icon_buffer: !EV_PIXEL_BUFFER is
2460 -- Access to 'close all documents' pixmap pixel buffer.
2461 once
2462 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 10))
2463 end
2464
2465 frozen general_show_hidden_icon: !EV_PIXMAP is
2466 -- Access to 'show hidden' pixmap.
2467 once
2468 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 10))
2469 end
2470
2471 frozen general_show_hidden_icon_buffer: !EV_PIXEL_BUFFER is
2472 -- Access to 'show hidden' pixmap pixel buffer.
2473 once
2474 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 10))
2475 end
2476
2477 frozen general_refresh_icon: !EV_PIXMAP is
2478 -- Access to 'refresh' pixmap.
2479 once
2480 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 10))
2481 end
2482
2483 frozen general_refresh_icon_buffer: !EV_PIXEL_BUFFER is
2484 -- Access to 'refresh' pixmap pixel buffer.
2485 once
2486 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 10))
2487 end
2488
2489 frozen general_filter_icon: !EV_PIXMAP is
2490 -- Access to 'filter' pixmap.
2491 once
2492 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 10))
2493 end
2494
2495 frozen general_filter_icon_buffer: !EV_PIXEL_BUFFER is
2496 -- Access to 'filter' pixmap pixel buffer.
2497 once
2498 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 10))
2499 end
2500
2501 frozen general_information_icon: !EV_PIXMAP is
2502 -- Access to 'information' pixmap.
2503 once
2504 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 10))
2505 end
2506
2507 frozen general_information_icon_buffer: !EV_PIXEL_BUFFER is
2508 -- Access to 'information' pixmap pixel buffer.
2509 once
2510 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 10))
2511 end
2512
2513 frozen sort_descending_icon: !EV_PIXMAP is
2514 -- Access to 'descending' pixmap.
2515 once
2516 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 11))
2517 end
2518
2519 frozen sort_descending_icon_buffer: !EV_PIXEL_BUFFER is
2520 -- Access to 'descending' pixmap pixel buffer.
2521 once
2522 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 11))
2523 end
2524
2525 frozen sort_acending_icon: !EV_PIXMAP is
2526 -- Access to 'acending' pixmap.
2527 once
2528 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 11))
2529 end
2530
2531 frozen sort_acending_icon_buffer: !EV_PIXEL_BUFFER is
2532 -- Access to 'acending' pixmap pixel buffer.
2533 once
2534 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 11))
2535 end
2536
2537 frozen sort_grouped_icon: !EV_PIXMAP is
2538 -- Access to 'grouped' pixmap.
2539 once
2540 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 11))
2541 end
2542
2543 frozen sort_grouped_icon_buffer: !EV_PIXEL_BUFFER is
2544 -- Access to 'grouped' pixmap pixel buffer.
2545 once
2546 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 11))
2547 end
2548
2549 frozen command_send_to_external_editor_icon: !EV_PIXMAP is
2550 -- Access to 'send to external editor' pixmap.
2551 once
2552 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 11))
2553 end
2554
2555 frozen command_send_to_external_editor_icon_buffer: !EV_PIXEL_BUFFER is
2556 -- Access to 'send to external editor' pixmap pixel buffer.
2557 once
2558 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 11))
2559 end
2560
2561 frozen command_error_info_icon: !EV_PIXMAP is
2562 -- Access to 'error info' pixmap.
2563 once
2564 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 11))
2565 end
2566
2567 frozen command_error_info_icon_buffer: !EV_PIXEL_BUFFER is
2568 -- Access to 'error info' pixmap pixel buffer.
2569 once
2570 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 11))
2571 end
2572
2573 frozen command_system_info_icon: !EV_PIXMAP is
2574 -- Access to 'system info' pixmap.
2575 once
2576 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 11))
2577 end
2578
2579 frozen command_system_info_icon_buffer: !EV_PIXEL_BUFFER is
2580 -- Access to 'system info' pixmap pixel buffer.
2581 once
2582 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 11))
2583 end
2584
2585 frozen command_show_features_of_any_icon: !EV_PIXMAP is
2586 -- Access to 'show features of any' pixmap.
2587 once
2588 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 11))
2589 end
2590
2591 frozen command_show_features_of_any_icon_buffer: !EV_PIXEL_BUFFER is
2592 -- Access to 'show features of any' pixmap pixel buffer.
2593 once
2594 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 11))
2595 end
2596
2597 frozen command_go_to_definition_icon: !EV_PIXMAP is
2598 -- Access to 'go to definition' pixmap.
2599 once
2600 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 11))
2601 end
2602
2603 frozen command_go_to_definition_icon_buffer: !EV_PIXEL_BUFFER is
2604 -- Access to 'go to definition' pixmap pixel buffer.
2605 once
2606 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 11))
2607 end
2608
2609 frozen refactor_feature_up_icon: !EV_PIXMAP is
2610 -- Access to 'feature up' pixmap.
2611 once
2612 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 11))
2613 end
2614
2615 frozen refactor_feature_up_icon_buffer: !EV_PIXEL_BUFFER is
2616 -- Access to 'feature up' pixmap pixel buffer.
2617 once
2618 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 11))
2619 end
2620
2621 frozen refactor_rename_icon: !EV_PIXMAP is
2622 -- Access to 'rename' pixmap.
2623 once
2624 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 11))
2625 end
2626
2627 frozen refactor_rename_icon_buffer: !EV_PIXEL_BUFFER is
2628 -- Access to 'rename' pixmap pixel buffer.
2629 once
2630 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 11))
2631 end
2632
2633 frozen context_link_icon: !EV_PIXMAP is
2634 -- Access to 'link' pixmap.
2635 once
2636 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 11))
2637 end
2638
2639 frozen context_link_icon_buffer: !EV_PIXEL_BUFFER is
2640 -- Access to 'link' pixmap pixel buffer.
2641 once
2642 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 11))
2643 end
2644
2645 frozen context_unlink_icon: !EV_PIXMAP is
2646 -- Access to 'unlink' pixmap.
2647 once
2648 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 11))
2649 end
2650
2651 frozen context_unlink_icon_buffer: !EV_PIXEL_BUFFER is
2652 -- Access to 'unlink' pixmap pixel buffer.
2653 once
2654 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 11))
2655 end
2656
2657 frozen context_sync_icon: !EV_PIXMAP is
2658 -- Access to 'sync' pixmap.
2659 once
2660 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 11))
2661 end
2662
2663 frozen context_sync_icon_buffer: !EV_PIXEL_BUFFER is
2664 -- Access to 'sync' pixmap pixel buffer.
2665 once
2666 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 11))
2667 end
2668
2669 frozen search_bottom_reached_icon: !EV_PIXMAP is
2670 -- Access to 'bottom reached' pixmap.
2671 once
2672 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 11))
2673 end
2674
2675 frozen search_bottom_reached_icon_buffer: !EV_PIXEL_BUFFER is
2676 -- Access to 'bottom reached' pixmap pixel buffer.
2677 once
2678 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 11))
2679 end
2680
2681 frozen search_first_reached_icon: !EV_PIXMAP is
2682 -- Access to 'first reached' pixmap.
2683 once
2684 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 11))
2685 end
2686
2687 frozen search_first_reached_icon_buffer: !EV_PIXEL_BUFFER is
2688 -- Access to 'first reached' pixmap pixel buffer.
2689 once
2690 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 11))
2691 end
2692
2693 frozen windows_minimize_all_icon: !EV_PIXMAP is
2694 -- Access to 'minimize all' pixmap.
2695 once
2696 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 11))
2697 end
2698
2699 frozen windows_minimize_all_icon_buffer: !EV_PIXEL_BUFFER is
2700 -- Access to 'minimize all' pixmap pixel buffer.
2701 once
2702 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 11))
2703 end
2704
2705 frozen windows_raise_all_icon: !EV_PIXMAP is
2706 -- Access to 'raise all' pixmap.
2707 once
2708 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 11))
2709 end
2710
2711 frozen windows_raise_all_icon_buffer: !EV_PIXEL_BUFFER is
2712 -- Access to 'raise all' pixmap pixel buffer.
2713 once
2714 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 11))
2715 end
2716
2717 frozen windows_raise_all_unsaved_icon: !EV_PIXMAP is
2718 -- Access to 'raise all unsaved' pixmap.
2719 once
2720 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 11))
2721 end
2722
2723 frozen windows_raise_all_unsaved_icon_buffer: !EV_PIXEL_BUFFER is
2724 -- Access to 'raise all unsaved' pixmap pixel buffer.
2725 once
2726 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 11))
2727 end
2728
2729 frozen windows_windows_icon: !EV_PIXMAP is
2730 -- Access to 'windows' pixmap.
2731 once
2732 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 11))
2733 end
2734
2735 frozen windows_windows_icon_buffer: !EV_PIXEL_BUFFER is
2736 -- Access to 'windows' pixmap pixel buffer.
2737 once
2738 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 11))
2739 end
2740
2741 frozen toolbar_separator_icon: !EV_PIXMAP is
2742 -- Access to 'separator' pixmap.
2743 once
2744 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 11))
2745 end
2746
2747 frozen toolbar_separator_icon_buffer: !EV_PIXEL_BUFFER is
2748 -- Access to 'separator' pixmap pixel buffer.
2749 once
2750 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 11))
2751 end
2752
2753 frozen errors_and_warnings_next_error_icon: !EV_PIXMAP is
2754 -- Access to 'next error' pixmap.
2755 once
2756 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 11))
2757 end
2758
2759 frozen errors_and_warnings_next_error_icon_buffer: !EV_PIXEL_BUFFER is
2760 -- Access to 'next error' pixmap pixel buffer.
2761 once
2762 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 11))
2763 end
2764
2765 frozen errors_and_warnings_previous_error_icon: !EV_PIXMAP is
2766 -- Access to 'previous error' pixmap.
2767 once
2768 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 11))
2769 end
2770
2771 frozen errors_and_warnings_previous_error_icon_buffer: !EV_PIXEL_BUFFER is
2772 -- Access to 'previous error' pixmap pixel buffer.
2773 once
2774 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 11))
2775 end
2776
2777 frozen errors_and_warnings_next_warning_icon: !EV_PIXMAP is
2778 -- Access to 'next warning' pixmap.
2779 once
2780 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 11))
2781 end
2782
2783 frozen errors_and_warnings_next_warning_icon_buffer: !EV_PIXEL_BUFFER is
2784 -- Access to 'next warning' pixmap pixel buffer.
2785 once
2786 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 11))
2787 end
2788
2789 frozen errors_and_warnings_previous_warning_icon: !EV_PIXMAP is
2790 -- Access to 'previous warning' pixmap.
2791 once
2792 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 11))
2793 end
2794
2795 frozen errors_and_warnings_previous_warning_icon_buffer: !EV_PIXEL_BUFFER is
2796 -- Access to 'previous warning' pixmap pixel buffer.
2797 once
2798 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 11))
2799 end
2800
2801 frozen errors_and_warnings_filter_icon: !EV_PIXMAP is
2802 -- Access to 'filter' pixmap.
2803 once
2804 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 11))
2805 end
2806
2807 frozen errors_and_warnings_filter_icon_buffer: !EV_PIXEL_BUFFER is
2808 -- Access to 'filter' pixmap pixel buffer.
2809 once
2810 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 11))
2811 end
2812
2813 frozen errors_and_warnings_filter_active_icon: !EV_PIXMAP is
2814 -- Access to 'filter active' pixmap.
2815 once
2816 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 11))
2817 end
2818
2819 frozen errors_and_warnings_filter_active_icon_buffer: !EV_PIXEL_BUFFER is
2820 -- Access to 'filter active' pixmap pixel buffer.
2821 once
2822 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 11))
2823 end
2824
2825 frozen errors_and_warnings_expand_errors_icon: !EV_PIXMAP is
2826 -- Access to 'expand errors' pixmap.
2827 once
2828 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 11))
2829 end
2830
2831 frozen errors_and_warnings_expand_errors_icon_buffer: !EV_PIXEL_BUFFER is
2832 -- Access to 'expand errors' pixmap pixel buffer.
2833 once
2834 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 11))
2835 end
2836
2837 frozen priority_high_icon: !EV_PIXMAP is
2838 -- Access to 'high' pixmap.
2839 once
2840 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 11))
2841 end
2842
2843 frozen priority_high_icon_buffer: !EV_PIXEL_BUFFER is
2844 -- Access to 'high' pixmap pixel buffer.
2845 once
2846 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 11))
2847 end
2848
2849 frozen priority_low_icon: !EV_PIXMAP is
2850 -- Access to 'low' pixmap.
2851 once
2852 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 11))
2853 end
2854
2855 frozen priority_low_icon_buffer: !EV_PIXEL_BUFFER is
2856 -- Access to 'low' pixmap pixel buffer.
2857 once
2858 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 11))
2859 end
2860
2861 frozen view_previous_icon: !EV_PIXMAP is
2862 -- Access to 'previous' pixmap.
2863 once
2864 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 12))
2865 end
2866
2867 frozen view_previous_icon_buffer: !EV_PIXEL_BUFFER is
2868 -- Access to 'previous' pixmap pixel buffer.
2869 once
2870 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 12))
2871 end
2872
2873 frozen view_next_icon: !EV_PIXMAP is
2874 -- Access to 'next' pixmap.
2875 once
2876 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 12))
2877 end
2878
2879 frozen view_next_icon_buffer: !EV_PIXEL_BUFFER is
2880 -- Access to 'next' pixmap pixel buffer.
2881 once
2882 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 12))
2883 end
2884
2885 frozen view_editor_icon: !EV_PIXMAP is
2886 -- Access to 'editor' pixmap.
2887 once
2888 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 12))
2889 end
2890
2891 frozen view_editor_icon_buffer: !EV_PIXEL_BUFFER is
2892 -- Access to 'editor' pixmap pixel buffer.
2893 once
2894 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 12))
2895 end
2896
2897 frozen view_flat_icon: !EV_PIXMAP is
2898 -- Access to 'flat' pixmap.
2899 once
2900 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 12))
2901 end
2902
2903 frozen view_flat_icon_buffer: !EV_PIXEL_BUFFER is
2904 -- Access to 'flat' pixmap pixel buffer.
2905 once
2906 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 12))
2907 end
2908
2909 frozen view_clickable_icon: !EV_PIXMAP is
2910 -- Access to 'clickable' pixmap.
2911 once
2912 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 12))
2913 end
2914
2915 frozen view_clickable_icon_buffer: !EV_PIXEL_BUFFER is
2916 -- Access to 'clickable' pixmap pixel buffer.
2917 once
2918 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 12))
2919 end
2920
2921 frozen view_contracts_icon: !EV_PIXMAP is
2922 -- Access to 'contracts' pixmap.
2923 once
2924 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 12))
2925 end
2926
2927 frozen view_contracts_icon_buffer: !EV_PIXEL_BUFFER is
2928 -- Access to 'contracts' pixmap pixel buffer.
2929 once
2930 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 12))
2931 end
2932
2933 frozen view_flat_contracts_icon: !EV_PIXMAP is
2934 -- Access to 'flat contracts' pixmap.
2935 once
2936 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 12))
2937 end
2938
2939 frozen view_flat_contracts_icon_buffer: !EV_PIXEL_BUFFER is
2940 -- Access to 'flat contracts' pixmap pixel buffer.
2941 once
2942 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 12))
2943 end
2944
2945 frozen view_editor_feature_icon: !EV_PIXMAP is
2946 -- Access to 'editor feature' pixmap.
2947 once
2948 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 12))
2949 end
2950
2951 frozen view_editor_feature_icon_buffer: !EV_PIXEL_BUFFER is
2952 -- Access to 'editor feature' pixmap pixel buffer.
2953 once
2954 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 12))
2955 end
2956
2957 frozen view_clickable_feature_icon: !EV_PIXMAP is
2958 -- Access to 'clickable feature' pixmap.
2959 once
2960 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 12))
2961 end
2962
2963 frozen view_clickable_feature_icon_buffer: !EV_PIXEL_BUFFER is
2964 -- Access to 'clickable feature' pixmap pixel buffer.
2965 once
2966 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 12))
2967 end
2968
2969 frozen view_unmodified_icon: !EV_PIXMAP is
2970 -- Access to 'unmodified' pixmap.
2971 once
2972 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 12))
2973 end
2974
2975 frozen view_unmodified_icon_buffer: !EV_PIXEL_BUFFER is
2976 -- Access to 'unmodified' pixmap pixel buffer.
2977 once
2978 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 12))
2979 end
2980
2981 frozen new_eiffel_project_icon: !EV_PIXMAP is
2982 -- Access to 'eiffel project' pixmap.
2983 once
2984 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 13))
2985 end
2986
2987 frozen new_eiffel_project_icon_buffer: !EV_PIXEL_BUFFER is
2988 -- Access to 'eiffel project' pixmap pixel buffer.
2989 once
2990 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 13))
2991 end
2992
2993 frozen new_cluster_icon: !EV_PIXMAP is
2994 -- Access to 'cluster' pixmap.
2995 once
2996 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 13))
2997 end
2998
2999 frozen new_cluster_icon_buffer: !EV_PIXEL_BUFFER is
3000 -- Access to 'cluster' pixmap pixel buffer.
3001 once
3002 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 13))
3003 end
3004
3005 frozen new_override_cluster_icon: !EV_PIXMAP is
3006 -- Access to 'override cluster' pixmap.
3007 once
3008 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 13))
3009 end
3010
3011 frozen new_override_cluster_icon_buffer: !EV_PIXEL_BUFFER is
3012 -- Access to 'override cluster' pixmap pixel buffer.
3013 once
3014 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 13))
3015 end
3016
3017 frozen new_library_icon: !EV_PIXMAP is
3018 -- Access to 'library' pixmap.
3019 once
3020 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 13))
3021 end
3022
3023 frozen new_library_icon_buffer: !EV_PIXEL_BUFFER is
3024 -- Access to 'library' pixmap pixel buffer.
3025 once
3026 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 13))
3027 end
3028
3029 frozen new_precompiled_library_icon: !EV_PIXMAP is
3030 -- Access to 'precompiled library' pixmap.
3031 once
3032 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 13))
3033 end
3034
3035 frozen new_precompiled_library_icon_buffer: !EV_PIXEL_BUFFER is
3036 -- Access to 'precompiled library' pixmap pixel buffer.
3037 once
3038 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 13))
3039 end
3040
3041 frozen new_reference_icon: !EV_PIXMAP is
3042 -- Access to 'reference' pixmap.
3043 once
3044 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 13))
3045 end
3046
3047 frozen new_reference_icon_buffer: !EV_PIXEL_BUFFER is
3048 -- Access to 'reference' pixmap pixel buffer.
3049 once
3050 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 13))
3051 end
3052
3053 frozen new_feature_icon: !EV_PIXMAP is
3054 -- Access to 'feature' pixmap.
3055 once
3056 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 13))
3057 end
3058
3059 frozen new_feature_icon_buffer: !EV_PIXEL_BUFFER is
3060 -- Access to 'feature' pixmap pixel buffer.
3061 once
3062 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 13))
3063 end
3064
3065 frozen new_class_icon: !EV_PIXMAP is
3066 -- Access to 'class' pixmap.
3067 once
3068 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 13))
3069 end
3070
3071 frozen new_class_icon_buffer: !EV_PIXEL_BUFFER is
3072 -- Access to 'class' pixmap pixel buffer.
3073 once
3074 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 13))
3075 end
3076
3077 frozen new_window_icon: !EV_PIXMAP is
3078 -- Access to 'window' pixmap.
3079 once
3080 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 13))
3081 end
3082
3083 frozen new_window_icon_buffer: !EV_PIXEL_BUFFER is
3084 -- Access to 'window' pixmap pixel buffer.
3085 once
3086 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 13))
3087 end
3088
3089 frozen new_editor_icon: !EV_PIXMAP is
3090 -- Access to 'editor' pixmap.
3091 once
3092 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 13))
3093 end
3094
3095 frozen new_editor_icon_buffer: !EV_PIXEL_BUFFER is
3096 -- Access to 'editor' pixmap pixel buffer.
3097 once
3098 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 13))
3099 end
3100
3101 frozen new_document_icon: !EV_PIXMAP is
3102 -- Access to 'document' pixmap.
3103 once
3104 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 13))
3105 end
3106
3107 frozen new_document_icon_buffer: !EV_PIXEL_BUFFER is
3108 -- Access to 'document' pixmap pixel buffer.
3109 once
3110 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 13))
3111 end
3112
3113 frozen new_metric_icon: !EV_PIXMAP is
3114 -- Access to 'metric' pixmap.
3115 once
3116 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 13))
3117 end
3118
3119 frozen new_metric_icon_buffer: !EV_PIXEL_BUFFER is
3120 -- Access to 'metric' pixmap pixel buffer.
3121 once
3122 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 13))
3123 end
3124
3125 frozen new_supplier_link_icon: !EV_PIXMAP is
3126 -- Access to 'supplier link' pixmap.
3127 once
3128 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 13))
3129 end
3130
3131 frozen new_supplier_link_icon_buffer: !EV_PIXEL_BUFFER is
3132 -- Access to 'supplier link' pixmap pixel buffer.
3133 once
3134 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 13))
3135 end
3136
3137 frozen new_aggregate_supplier_link_icon: !EV_PIXMAP is
3138 -- Access to 'aggregate supplier link' pixmap.
3139 once
3140 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 13))
3141 end
3142
3143 frozen new_aggregate_supplier_link_icon_buffer: !EV_PIXEL_BUFFER is
3144 -- Access to 'aggregate supplier link' pixmap pixel buffer.
3145 once
3146 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 13))
3147 end
3148
3149 frozen new_inheritance_link_icon: !EV_PIXMAP is
3150 -- Access to 'inheritance link' pixmap.
3151 once
3152 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 13))
3153 end
3154
3155 frozen new_inheritance_link_icon_buffer: !EV_PIXEL_BUFFER is
3156 -- Access to 'inheritance link' pixmap pixel buffer.
3157 once
3158 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 13))
3159 end
3160
3161 frozen new_and_icon: !EV_PIXMAP is
3162 -- Access to 'and' pixmap.
3163 once
3164 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 13))
3165 end
3166
3167 frozen new_and_icon_buffer: !EV_PIXEL_BUFFER is
3168 -- Access to 'and' pixmap pixel buffer.
3169 once
3170 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 13))
3171 end
3172
3173 frozen new_or_icon: !EV_PIXMAP is
3174 -- Access to 'or' pixmap.
3175 once
3176 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 13))
3177 end
3178
3179 frozen new_or_icon_buffer: !EV_PIXEL_BUFFER is
3180 -- Access to 'or' pixmap pixel buffer.
3181 once
3182 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 13))
3183 end
3184
3185 frozen new_include_icon: !EV_PIXMAP is
3186 -- Access to 'include' pixmap.
3187 once
3188 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 13))
3189 end
3190
3191 frozen new_include_icon_buffer: !EV_PIXEL_BUFFER is
3192 -- Access to 'include' pixmap pixel buffer.
3193 once
3194 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 13))
3195 end
3196
3197 frozen new_object_icon: !EV_PIXMAP is
3198 -- Access to 'object' pixmap.
3199 once
3200 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 13))
3201 end
3202
3203 frozen new_object_icon_buffer: !EV_PIXEL_BUFFER is
3204 -- Access to 'object' pixmap pixel buffer.
3205 once
3206 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 13))
3207 end
3208
3209 frozen new_makefile_icon: !EV_PIXMAP is
3210 -- Access to 'makefile' pixmap.
3211 once
3212 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 13))
3213 end
3214
3215 frozen new_makefile_icon_buffer: !EV_PIXEL_BUFFER is
3216 -- Access to 'makefile' pixmap pixel buffer.
3217 once
3218 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 13))
3219 end
3220
3221 frozen new_resource_icon: !EV_PIXMAP is
3222 -- Access to 'resource' pixmap.
3223 once
3224 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 13))
3225 end
3226
3227 frozen new_resource_icon_buffer: !EV_PIXEL_BUFFER is
3228 -- Access to 'resource' pixmap pixel buffer.
3229 once
3230 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 13))
3231 end
3232
3233 frozen new_pre_compilation_task_icon: !EV_PIXMAP is
3234 -- Access to 'pre compilation task' pixmap.
3235 once
3236 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 13))
3237 end
3238
3239 frozen new_pre_compilation_task_icon_buffer: !EV_PIXEL_BUFFER is
3240 -- Access to 'pre compilation task' pixmap pixel buffer.
3241 once
3242 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 13))
3243 end
3244
3245 frozen new_post_compilation_task_icon: !EV_PIXMAP is
3246 -- Access to 'post compilation task' pixmap.
3247 once
3248 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 13))
3249 end
3250
3251 frozen new_post_compilation_task_icon_buffer: !EV_PIXEL_BUFFER is
3252 -- Access to 'post compilation task' pixmap pixel buffer.
3253 once
3254 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 13))
3255 end
3256
3257 frozen new_target_icon: !EV_PIXMAP is
3258 -- Access to 'target' pixmap.
3259 once
3260 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 13))
3261 end
3262
3263 frozen new_target_icon_buffer: !EV_PIXEL_BUFFER is
3264 -- Access to 'target' pixmap pixel buffer.
3265 once
3266 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 13))
3267 end
3268
3269 frozen feature_callers_icon: !EV_PIXMAP is
3270 -- Access to 'callers' pixmap.
3271 once
3272 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 14))
3273 end
3274
3275 frozen feature_callers_icon_buffer: !EV_PIXEL_BUFFER is
3276 -- Access to 'callers' pixmap pixel buffer.
3277 once
3278 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 14))
3279 end
3280
3281 frozen feature_callees_icon: !EV_PIXMAP is
3282 -- Access to 'callees' pixmap.
3283 once
3284 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 14))
3285 end
3286
3287 frozen feature_callees_icon_buffer: !EV_PIXEL_BUFFER is
3288 -- Access to 'callees' pixmap pixel buffer.
3289 once
3290 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 14))
3291 end
3292
3293 frozen feature_assigners_icon: !EV_PIXMAP is
3294 -- Access to 'assigners' pixmap.
3295 once
3296 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 14))
3297 end
3298
3299 frozen feature_assigners_icon_buffer: !EV_PIXEL_BUFFER is
3300 -- Access to 'assigners' pixmap pixel buffer.
3301 once
3302 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 14))
3303 end
3304
3305 frozen feature_assignees_icon: !EV_PIXMAP is
3306 -- Access to 'assignees' pixmap.
3307 once
3308 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 14))
3309 end
3310
3311 frozen feature_assignees_icon_buffer: !EV_PIXEL_BUFFER is
3312 -- Access to 'assignees' pixmap pixel buffer.
3313 once
3314 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 14))
3315 end
3316
3317 frozen feature_creators_icon: !EV_PIXMAP is
3318 -- Access to 'creators' pixmap.
3319 once
3320 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 14))
3321 end
3322
3323 frozen feature_creators_icon_buffer: !EV_PIXEL_BUFFER is
3324 -- Access to 'creators' pixmap pixel buffer.
3325 once
3326 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 14))
3327 end
3328
3329 frozen feature_creaters_icon: !EV_PIXMAP is
3330 -- Access to 'creaters' pixmap.
3331 once
3332 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 14))
3333 end
3334
3335 frozen feature_creaters_icon_buffer: !EV_PIXEL_BUFFER is
3336 -- Access to 'creaters' pixmap pixel buffer.
3337 once
3338 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 14))
3339 end
3340
3341 frozen feature_implementers_icon: !EV_PIXMAP is
3342 -- Access to 'implementers' pixmap.
3343 once
3344 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 14))
3345 end
3346
3347 frozen feature_implementers_icon_buffer: !EV_PIXEL_BUFFER is
3348 -- Access to 'implementers' pixmap pixel buffer.
3349 once
3350 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 14))
3351 end
3352
3353 frozen feature_ancestors_icon: !EV_PIXMAP is
3354 -- Access to 'ancestors' pixmap.
3355 once
3356 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 14))
3357 end
3358
3359 frozen feature_ancestors_icon_buffer: !EV_PIXEL_BUFFER is
3360 -- Access to 'ancestors' pixmap pixel buffer.
3361 once
3362 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 14))
3363 end
3364
3365 frozen feature_descendents_icon: !EV_PIXMAP is
3366 -- Access to 'descendents' pixmap.
3367 once
3368 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 14))
3369 end
3370
3371 frozen feature_descendents_icon_buffer: !EV_PIXEL_BUFFER is
3372 -- Access to 'descendents' pixmap pixel buffer.
3373 once
3374 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 14))
3375 end
3376
3377 frozen feature_homonyms_icon: !EV_PIXMAP is
3378 -- Access to 'homonyms' pixmap.
3379 once
3380 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 14))
3381 end
3382
3383 frozen feature_homonyms_icon_buffer: !EV_PIXEL_BUFFER is
3384 -- Access to 'homonyms' pixmap pixel buffer.
3385 once
3386 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 14))
3387 end
3388
3389 frozen class_ancestors_icon: !EV_PIXMAP is
3390 -- Access to 'ancestors' pixmap.
3391 once
3392 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 14))
3393 end
3394
3395 frozen class_ancestors_icon_buffer: !EV_PIXEL_BUFFER is
3396 -- Access to 'ancestors' pixmap pixel buffer.
3397 once
3398 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 14))
3399 end
3400
3401 frozen class_descendents_icon: !EV_PIXMAP is
3402 -- Access to 'descendents' pixmap.
3403 once
3404 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 14))
3405 end
3406
3407 frozen class_descendents_icon_buffer: !EV_PIXEL_BUFFER is
3408 -- Access to 'descendents' pixmap pixel buffer.
3409 once
3410 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 14))
3411 end
3412
3413 frozen class_clients_icon: !EV_PIXMAP is
3414 -- Access to 'clients' pixmap.
3415 once
3416 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 14))
3417 end
3418
3419 frozen class_clients_icon_buffer: !EV_PIXEL_BUFFER is
3420 -- Access to 'clients' pixmap pixel buffer.
3421 once
3422 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 14))
3423 end
3424
3425 frozen class_supliers_icon: !EV_PIXMAP is
3426 -- Access to 'supliers' pixmap.
3427 once
3428 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 14))
3429 end
3430
3431 frozen class_supliers_icon_buffer: !EV_PIXEL_BUFFER is
3432 -- Access to 'supliers' pixmap pixel buffer.
3433 once
3434 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 14))
3435 end
3436
3437 frozen class_features_attribute_icon: !EV_PIXMAP is
3438 -- Access to 'attribute' pixmap.
3439 once
3440 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 14))
3441 end
3442
3443 frozen class_features_attribute_icon_buffer: !EV_PIXEL_BUFFER is
3444 -- Access to 'attribute' pixmap pixel buffer.
3445 once
3446 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 14))
3447 end
3448
3449 frozen class_features_routine_icon: !EV_PIXMAP is
3450 -- Access to 'routine' pixmap.
3451 once
3452 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 14))
3453 end
3454
3455 frozen class_features_routine_icon_buffer: !EV_PIXEL_BUFFER is
3456 -- Access to 'routine' pixmap pixel buffer.
3457 once
3458 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 14))
3459 end
3460
3461 frozen class_features_invariant_icon: !EV_PIXMAP is
3462 -- Access to 'invariant' pixmap.
3463 once
3464 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 14))
3465 end
3466
3467 frozen class_features_invariant_icon_buffer: !EV_PIXEL_BUFFER is
3468 -- Access to 'invariant' pixmap pixel buffer.
3469 once
3470 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 14))
3471 end
3472
3473 frozen class_features_creator_icon: !EV_PIXMAP is
3474 -- Access to 'creator' pixmap.
3475 once
3476 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 14))
3477 end
3478
3479 frozen class_features_creator_icon_buffer: !EV_PIXEL_BUFFER is
3480 -- Access to 'creator' pixmap pixel buffer.
3481 once
3482 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 14))
3483 end
3484
3485 frozen class_features_deferred_icon: !EV_PIXMAP is
3486 -- Access to 'deferred' pixmap.
3487 once
3488 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 14))
3489 end
3490
3491 frozen class_features_deferred_icon_buffer: !EV_PIXEL_BUFFER is
3492 -- Access to 'deferred' pixmap pixel buffer.
3493 once
3494 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 14))
3495 end
3496
3497 frozen class_features_once_icon: !EV_PIXMAP is
3498 -- Access to 'once' pixmap.
3499 once
3500 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 14))
3501 end
3502
3503 frozen class_features_once_icon_buffer: !EV_PIXEL_BUFFER is
3504 -- Access to 'once' pixmap pixel buffer.
3505 once
3506 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 14))
3507 end
3508
3509 frozen class_features_external_icon: !EV_PIXMAP is
3510 -- Access to 'external' pixmap.
3511 once
3512 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 14))
3513 end
3514
3515 frozen class_features_external_icon_buffer: !EV_PIXEL_BUFFER is
3516 -- Access to 'external' pixmap pixel buffer.
3517 once
3518 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 14))
3519 end
3520
3521 frozen class_features_exported_icon: !EV_PIXMAP is
3522 -- Access to 'exported' pixmap.
3523 once
3524 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 14))
3525 end
3526
3527 frozen class_features_exported_icon_buffer: !EV_PIXEL_BUFFER is
3528 -- Access to 'exported' pixmap pixel buffer.
3529 once
3530 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 14))
3531 end
3532
3533 frozen metric_basic_icon: !EV_PIXMAP is
3534 -- Access to 'basic' pixmap.
3535 once
3536 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 15))
3537 end
3538
3539 frozen metric_basic_icon_buffer: !EV_PIXEL_BUFFER is
3540 -- Access to 'basic' pixmap pixel buffer.
3541 once
3542 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 15))
3543 end
3544
3545 frozen metric_linear_icon: !EV_PIXMAP is
3546 -- Access to 'linear' pixmap.
3547 once
3548 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 15))
3549 end
3550
3551 frozen metric_linear_icon_buffer: !EV_PIXEL_BUFFER is
3552 -- Access to 'linear' pixmap pixel buffer.
3553 once
3554 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 15))
3555 end
3556
3557 frozen metric_ratio_icon: !EV_PIXMAP is
3558 -- Access to 'ratio' pixmap.
3559 once
3560 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 15))
3561 end
3562
3563 frozen metric_ratio_icon_buffer: !EV_PIXEL_BUFFER is
3564 -- Access to 'ratio' pixmap pixel buffer.
3565 once
3566 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 15))
3567 end
3568
3569 frozen metric_basic_readonly_icon: !EV_PIXMAP is
3570 -- Access to 'basic readonly' pixmap.
3571 once
3572 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 15))
3573 end
3574
3575 frozen metric_basic_readonly_icon_buffer: !EV_PIXEL_BUFFER is
3576 -- Access to 'basic readonly' pixmap pixel buffer.
3577 once
3578 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 15))
3579 end
3580
3581 frozen metric_linear_readonly_icon: !EV_PIXMAP is
3582 -- Access to 'linear readonly' pixmap.
3583 once
3584 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 15))
3585 end
3586
3587 frozen metric_linear_readonly_icon_buffer: !EV_PIXEL_BUFFER is
3588 -- Access to 'linear readonly' pixmap pixel buffer.
3589 once
3590 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 15))
3591 end
3592
3593 frozen metric_ratio_readonly_icon: !EV_PIXMAP is
3594 -- Access to 'ratio readonly' pixmap.
3595 once
3596 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 15))
3597 end
3598
3599 frozen metric_ratio_readonly_icon_buffer: !EV_PIXEL_BUFFER is
3600 -- Access to 'ratio readonly' pixmap pixel buffer.
3601 once
3602 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 15))
3603 end
3604
3605 frozen metric_common_criteria_icon: !EV_PIXMAP is
3606 -- Access to 'common criteria' pixmap.
3607 once
3608 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 15))
3609 end
3610
3611 frozen metric_common_criteria_icon_buffer: !EV_PIXEL_BUFFER is
3612 -- Access to 'common criteria' pixmap pixel buffer.
3613 once
3614 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 15))
3615 end
3616
3617 frozen metric_relational_criteria_icon: !EV_PIXMAP is
3618 -- Access to 'relational criteria' pixmap.
3619 once
3620 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 15))
3621 end
3622
3623 frozen metric_relational_criteria_icon_buffer: !EV_PIXEL_BUFFER is
3624 -- Access to 'relational criteria' pixmap pixel buffer.
3625 once
3626 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 15))
3627 end
3628
3629 frozen metric_text_criteria_icon: !EV_PIXMAP is
3630 -- Access to 'text criteria' pixmap.
3631 once
3632 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 15))
3633 end
3634
3635 frozen metric_text_criteria_icon_buffer: !EV_PIXEL_BUFFER is
3636 -- Access to 'text criteria' pixmap pixel buffer.
3637 once
3638 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 15))
3639 end
3640
3641 frozen metric_group_icon: !EV_PIXMAP is
3642 -- Access to 'group' pixmap.
3643 once
3644 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 15))
3645 end
3646
3647 frozen metric_group_icon_buffer: !EV_PIXEL_BUFFER is
3648 -- Access to 'group' pixmap pixel buffer.
3649 once
3650 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 15))
3651 end
3652
3653 frozen metric_folder_icon: !EV_PIXMAP is
3654 -- Access to 'folder' pixmap.
3655 once
3656 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 15))
3657 end
3658
3659 frozen metric_folder_icon_buffer: !EV_PIXEL_BUFFER is
3660 -- Access to 'folder' pixmap pixel buffer.
3661 once
3662 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 15))
3663 end
3664
3665 frozen metric_send_to_archive_icon: !EV_PIXMAP is
3666 -- Access to 'send to archive' pixmap.
3667 once
3668 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 15))
3669 end
3670
3671 frozen metric_send_to_archive_icon_buffer: !EV_PIXEL_BUFFER is
3672 -- Access to 'send to archive' pixmap pixel buffer.
3673 once
3674 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 15))
3675 end
3676
3677 frozen metric_quick_icon: !EV_PIXMAP is
3678 -- Access to 'quick' pixmap.
3679 once
3680 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 15))
3681 end
3682
3683 frozen metric_quick_icon_buffer: !EV_PIXEL_BUFFER is
3684 -- Access to 'quick' pixmap pixel buffer.
3685 once
3686 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 15))
3687 end
3688
3689 frozen metric_show_details_icon: !EV_PIXMAP is
3690 -- Access to 'show details' pixmap.
3691 once
3692 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 15))
3693 end
3694
3695 frozen metric_show_details_icon_buffer: !EV_PIXEL_BUFFER is
3696 -- Access to 'show details' pixmap pixel buffer.
3697 once
3698 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 15))
3699 end
3700
3701 frozen metric_run_and_show_details_icon: !EV_PIXMAP is
3702 -- Access to 'run and show details' pixmap.
3703 once
3704 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 15))
3705 end
3706
3707 frozen metric_run_and_show_details_icon_buffer: !EV_PIXEL_BUFFER is
3708 -- Access to 'run and show details' pixmap pixel buffer.
3709 once
3710 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 15))
3711 end
3712
3713 frozen metric_export_to_file_icon: !EV_PIXMAP is
3714 -- Access to 'export to file' pixmap.
3715 once
3716 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 15))
3717 end
3718
3719 frozen metric_export_to_file_icon_buffer: !EV_PIXEL_BUFFER is
3720 -- Access to 'export to file' pixmap pixel buffer.
3721 once
3722 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 15))
3723 end
3724
3725 frozen metric_and_icon: !EV_PIXMAP is
3726 -- Access to 'and' pixmap.
3727 once
3728 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 15))
3729 end
3730
3731 frozen metric_and_icon_buffer: !EV_PIXEL_BUFFER is
3732 -- Access to 'and' pixmap pixel buffer.
3733 once
3734 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 15))
3735 end
3736
3737 frozen metric_or_icon: !EV_PIXMAP is
3738 -- Access to 'or' pixmap.
3739 once
3740 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 15))
3741 end
3742
3743 frozen metric_or_icon_buffer: !EV_PIXEL_BUFFER is
3744 -- Access to 'or' pixmap pixel buffer.
3745 once
3746 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 15))
3747 end
3748
3749 frozen metric_not_common_criteria_icon: !EV_PIXMAP is
3750 -- Access to 'common criteria' pixmap.
3751 once
3752 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 15))
3753 end
3754
3755 frozen metric_not_common_criteria_icon_buffer: !EV_PIXEL_BUFFER is
3756 -- Access to 'common criteria' pixmap pixel buffer.
3757 once
3758 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 15))
3759 end
3760
3761 frozen metric_not_relational_criteria_icon: !EV_PIXMAP is
3762 -- Access to 'relational criteria' pixmap.
3763 once
3764 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 15))
3765 end
3766
3767 frozen metric_not_relational_criteria_icon_buffer: !EV_PIXEL_BUFFER is
3768 -- Access to 'relational criteria' pixmap pixel buffer.
3769 once
3770 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 15))
3771 end
3772
3773 frozen metric_not_text_criteria_icon: !EV_PIXMAP is
3774 -- Access to 'text criteria' pixmap.
3775 once
3776 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 15))
3777 end
3778
3779 frozen metric_not_text_criteria_icon_buffer: !EV_PIXEL_BUFFER is
3780 -- Access to 'text criteria' pixmap pixel buffer.
3781 once
3782 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 15))
3783 end
3784
3785 frozen metric_not_and_icon: !EV_PIXMAP is
3786 -- Access to 'and' pixmap.
3787 once
3788 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 15))
3789 end
3790
3791 frozen metric_not_and_icon_buffer: !EV_PIXEL_BUFFER is
3792 -- Access to 'and' pixmap pixel buffer.
3793 once
3794 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 15))
3795 end
3796
3797 frozen metric_not_or_icon: !EV_PIXMAP is
3798 -- Access to 'or' pixmap.
3799 once
3800 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (23, 15))
3801 end
3802
3803 frozen metric_not_or_icon_buffer: !EV_PIXEL_BUFFER is
3804 -- Access to 'or' pixmap pixel buffer.
3805 once
3806 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (23, 15))
3807 end
3808
3809 frozen metric_domain_application_icon: !EV_PIXMAP is
3810 -- Access to 'application' pixmap.
3811 once
3812 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (24, 15))
3813 end
3814
3815 frozen metric_domain_application_icon_buffer: !EV_PIXEL_BUFFER is
3816 -- Access to 'application' pixmap pixel buffer.
3817 once
3818 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (24, 15))
3819 end
3820
3821 frozen metric_domain_custom_icon: !EV_PIXMAP is
3822 -- Access to 'custom' pixmap.
3823 once
3824 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (25, 15))
3825 end
3826
3827 frozen metric_domain_custom_icon_buffer: !EV_PIXEL_BUFFER is
3828 -- Access to 'custom' pixmap pixel buffer.
3829 once
3830 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (25, 15))
3831 end
3832
3833 frozen metric_domain_delayed_icon: !EV_PIXMAP is
3834 -- Access to 'delayed' pixmap.
3835 once
3836 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (26, 15))
3837 end
3838
3839 frozen metric_domain_delayed_icon_buffer: !EV_PIXEL_BUFFER is
3840 -- Access to 'delayed' pixmap pixel buffer.
3841 once
3842 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (26, 15))
3843 end
3844
3845 frozen metric_unit_target_icon: !EV_PIXMAP is
3846 -- Access to 'target' pixmap.
3847 once
3848 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (27, 15))
3849 end
3850
3851 frozen metric_unit_target_icon_buffer: !EV_PIXEL_BUFFER is
3852 -- Access to 'target' pixmap pixel buffer.
3853 once
3854 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (27, 15))
3855 end
3856
3857 frozen metric_unit_group_icon: !EV_PIXMAP is
3858 -- Access to 'group' pixmap.
3859 once
3860 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (28, 15))
3861 end
3862
3863 frozen metric_unit_group_icon_buffer: !EV_PIXEL_BUFFER is
3864 -- Access to 'group' pixmap pixel buffer.
3865 once
3866 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (28, 15))
3867 end
3868
3869 frozen metric_unit_class_icon: !EV_PIXMAP is
3870 -- Access to 'class' pixmap.
3871 once
3872 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (29, 15))
3873 end
3874
3875 frozen metric_unit_class_icon_buffer: !EV_PIXEL_BUFFER is
3876 -- Access to 'class' pixmap pixel buffer.
3877 once
3878 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (29, 15))
3879 end
3880
3881 frozen metric_unit_generic_icon: !EV_PIXMAP is
3882 -- Access to 'generic' pixmap.
3883 once
3884 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (30, 15))
3885 end
3886
3887 frozen metric_unit_generic_icon_buffer: !EV_PIXEL_BUFFER is
3888 -- Access to 'generic' pixmap pixel buffer.
3889 once
3890 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (30, 15))
3891 end
3892
3893 frozen metric_unit_feature_icon: !EV_PIXMAP is
3894 -- Access to 'feature' pixmap.
3895 once
3896 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (31, 15))
3897 end
3898
3899 frozen metric_unit_feature_icon_buffer: !EV_PIXEL_BUFFER is
3900 -- Access to 'feature' pixmap pixel buffer.
3901 once
3902 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (31, 15))
3903 end
3904
3905 frozen metric_unit_local_or_argument_icon: !EV_PIXMAP is
3906 -- Access to 'local or argument' pixmap.
3907 once
3908 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (32, 15))
3909 end
3910
3911 frozen metric_unit_local_or_argument_icon_buffer: !EV_PIXEL_BUFFER is
3912 -- Access to 'local or argument' pixmap pixel buffer.
3913 once
3914 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (32, 15))
3915 end
3916
3917 frozen metric_unit_assertion_icon: !EV_PIXMAP is
3918 -- Access to 'assertion' pixmap.
3919 once
3920 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (33, 15))
3921 end
3922
3923 frozen metric_unit_assertion_icon_buffer: !EV_PIXEL_BUFFER is
3924 -- Access to 'assertion' pixmap pixel buffer.
3925 once
3926 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (33, 15))
3927 end
3928
3929 frozen metric_unit_line_icon: !EV_PIXMAP is
3930 -- Access to 'line' pixmap.
3931 once
3932 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 16))
3933 end
3934
3935 frozen metric_unit_line_icon_buffer: !EV_PIXEL_BUFFER is
3936 -- Access to 'line' pixmap pixel buffer.
3937 once
3938 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 16))
3939 end
3940
3941 frozen metric_unit_compilation_icon: !EV_PIXMAP is
3942 -- Access to 'compilation' pixmap.
3943 once
3944 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 16))
3945 end
3946
3947 frozen metric_unit_compilation_icon_buffer: !EV_PIXEL_BUFFER is
3948 -- Access to 'compilation' pixmap pixel buffer.
3949 once
3950 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 16))
3951 end
3952
3953 frozen metric_unit_ratio_icon: !EV_PIXMAP is
3954 -- Access to 'ratio' pixmap.
3955 once
3956 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 16))
3957 end
3958
3959 frozen metric_unit_ratio_icon_buffer: !EV_PIXEL_BUFFER is
3960 -- Access to 'ratio' pixmap pixel buffer.
3961 once
3962 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 16))
3963 end
3964
3965 frozen metric_filter_icon: !EV_PIXMAP is
3966 -- Access to 'filter' pixmap.
3967 once
3968 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 16))
3969 end
3970
3971 frozen metric_filter_icon_buffer: !EV_PIXEL_BUFFER is
3972 -- Access to 'filter' pixmap pixel buffer.
3973 once
3974 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 16))
3975 end
3976
3977 frozen diagram_zoom_in_icon: !EV_PIXMAP is
3978 -- Access to 'zoom in' pixmap.
3979 once
3980 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 17))
3981 end
3982
3983 frozen diagram_zoom_in_icon_buffer: !EV_PIXEL_BUFFER is
3984 -- Access to 'zoom in' pixmap pixel buffer.
3985 once
3986 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 17))
3987 end
3988
3989 frozen diagram_zoom_out_icon: !EV_PIXMAP is
3990 -- Access to 'zoom out' pixmap.
3991 once
3992 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 17))
3993 end
3994
3995 frozen diagram_zoom_out_icon_buffer: !EV_PIXEL_BUFFER is
3996 -- Access to 'zoom out' pixmap pixel buffer.
3997 once
3998 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 17))
3999 end
4000
4001 frozen diagram_target_cluster_or_class_icon: !EV_PIXMAP is
4002 -- Access to 'target cluster or class' pixmap.
4003 once
4004 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 17))
4005 end
4006
4007 frozen diagram_target_cluster_or_class_icon_buffer: !EV_PIXEL_BUFFER is
4008 -- Access to 'target cluster or class' pixmap pixel buffer.
4009 once
4010 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 17))
4011 end
4012
4013 frozen diagram_show_legend_icon: !EV_PIXMAP is
4014 -- Access to 'show legend' pixmap.
4015 once
4016 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 17))
4017 end
4018
4019 frozen diagram_show_legend_icon_buffer: !EV_PIXEL_BUFFER is
4020 -- Access to 'show legend' pixmap pixel buffer.
4021 once
4022 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 17))
4023 end
4024
4025 frozen diagram_crop_icon: !EV_PIXMAP is
4026 -- Access to 'crop' pixmap.
4027 once
4028 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 17))
4029 end
4030
4031 frozen diagram_crop_icon_buffer: !EV_PIXEL_BUFFER is
4032 -- Access to 'crop' pixmap pixel buffer.
4033 once
4034 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 17))
4035 end
4036
4037 frozen diagram_choose_color_icon: !EV_PIXMAP is
4038 -- Access to 'choose color' pixmap.
4039 once
4040 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 17))
4041 end
4042
4043 frozen diagram_choose_color_icon_buffer: !EV_PIXEL_BUFFER is
4044 -- Access to 'choose color' pixmap pixel buffer.
4045 once
4046 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 17))
4047 end
4048
4049 frozen diagram_force_right_angles_icon: !EV_PIXMAP is
4050 -- Access to 'force right angles' pixmap.
4051 once
4052 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 17))
4053 end
4054
4055 frozen diagram_force_right_angles_icon_buffer: !EV_PIXEL_BUFFER is
4056 -- Access to 'force right angles' pixmap pixel buffer.
4057 once
4058 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 17))
4059 end
4060
4061 frozen diagram_toogle_physics_icon: !EV_PIXMAP is
4062 -- Access to 'toogle physics' pixmap.
4063 once
4064 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 17))
4065 end
4066
4067 frozen diagram_toogle_physics_icon_buffer: !EV_PIXEL_BUFFER is
4068 -- Access to 'toogle physics' pixmap pixel buffer.
4069 once
4070 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 17))
4071 end
4072
4073 frozen diagram_physics_settings_icon: !EV_PIXMAP is
4074 -- Access to 'physics settings' pixmap.
4075 once
4076 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 17))
4077 end
4078
4079 frozen diagram_physics_settings_icon_buffer: !EV_PIXEL_BUFFER is
4080 -- Access to 'physics settings' pixmap pixel buffer.
4081 once
4082 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 17))
4083 end
4084
4085 frozen diagram_supplier_link_icon: !EV_PIXMAP is
4086 -- Access to 'supplier link' pixmap.
4087 once
4088 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 17))
4089 end
4090
4091 frozen diagram_supplier_link_icon_buffer: !EV_PIXEL_BUFFER is
4092 -- Access to 'supplier link' pixmap pixel buffer.
4093 once
4094 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 17))
4095 end
4096
4097 frozen diagram_inheritance_link_icon: !EV_PIXMAP is
4098 -- Access to 'inheritance link' pixmap.
4099 once
4100 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 17))
4101 end
4102
4103 frozen diagram_inheritance_link_icon_buffer: !EV_PIXEL_BUFFER is
4104 -- Access to 'inheritance link' pixmap pixel buffer.
4105 once
4106 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 17))
4107 end
4108
4109 frozen diagram_export_to_png_icon: !EV_PIXMAP is
4110 -- Access to 'export to png' pixmap.
4111 once
4112 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 17))
4113 end
4114
4115 frozen diagram_export_to_png_icon_buffer: !EV_PIXEL_BUFFER is
4116 -- Access to 'export to png' pixmap pixel buffer.
4117 once
4118 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 17))
4119 end
4120
4121 frozen diagram_pinned_icon: !EV_PIXMAP is
4122 -- Access to 'pinned' pixmap.
4123 once
4124 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 17))
4125 end
4126
4127 frozen diagram_pinned_icon_buffer: !EV_PIXEL_BUFFER is
4128 -- Access to 'pinned' pixmap pixel buffer.
4129 once
4130 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 17))
4131 end
4132
4133 frozen diagram_unpinned_icon: !EV_PIXMAP is
4134 -- Access to 'unpinned' pixmap.
4135 once
4136 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 17))
4137 end
4138
4139 frozen diagram_unpinned_icon_buffer: !EV_PIXEL_BUFFER is
4140 -- Access to 'unpinned' pixmap pixel buffer.
4141 once
4142 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 17))
4143 end
4144
4145 frozen diagram_anchor_icon: !EV_PIXMAP is
4146 -- Access to 'anchor' pixmap.
4147 once
4148 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 17))
4149 end
4150
4151 frozen diagram_anchor_icon_buffer: !EV_PIXEL_BUFFER is
4152 -- Access to 'anchor' pixmap pixel buffer.
4153 once
4154 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 17))
4155 end
4156
4157 frozen diagram_remove_anchor_icon: !EV_PIXMAP is
4158 -- Access to 'remove anchor' pixmap.
4159 once
4160 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 17))
4161 end
4162
4163 frozen diagram_remove_anchor_icon_buffer: !EV_PIXEL_BUFFER is
4164 -- Access to 'remove anchor' pixmap pixel buffer.
4165 once
4166 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 17))
4167 end
4168
4169 frozen diagram_toggle_quality_icon: !EV_PIXMAP is
4170 -- Access to 'toggle quality' pixmap.
4171 once
4172 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 17))
4173 end
4174
4175 frozen diagram_toggle_quality_icon_buffer: !EV_PIXEL_BUFFER is
4176 -- Access to 'toggle quality' pixmap pixel buffer.
4177 once
4178 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 17))
4179 end
4180
4181 frozen diagram_depth_of_relations_icon: !EV_PIXMAP is
4182 -- Access to 'depth of relations' pixmap.
4183 once
4184 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (18, 17))
4185 end
4186
4187 frozen diagram_depth_of_relations_icon_buffer: !EV_PIXEL_BUFFER is
4188 -- Access to 'depth of relations' pixmap pixel buffer.
4189 once
4190 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (18, 17))
4191 end
4192
4193 frozen diagram_fit_to_screen_icon: !EV_PIXMAP is
4194 -- Access to 'fit to screen' pixmap.
4195 once
4196 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (19, 17))
4197 end
4198
4199 frozen diagram_fit_to_screen_icon_buffer: !EV_PIXEL_BUFFER is
4200 -- Access to 'fit to screen' pixmap pixel buffer.
4201 once
4202 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (19, 17))
4203 end
4204
4205 frozen diagram_show_labels_icon: !EV_PIXMAP is
4206 -- Access to 'show labels' pixmap.
4207 once
4208 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (20, 17))
4209 end
4210
4211 frozen diagram_show_labels_icon_buffer: !EV_PIXEL_BUFFER is
4212 -- Access to 'show labels' pixmap pixel buffer.
4213 once
4214 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (20, 17))
4215 end
4216
4217 frozen diagram_fill_cluster_icon: !EV_PIXMAP is
4218 -- Access to 'fill cluster' pixmap.
4219 once
4220 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (21, 17))
4221 end
4222
4223 frozen diagram_fill_cluster_icon_buffer: !EV_PIXEL_BUFFER is
4224 -- Access to 'fill cluster' pixmap pixel buffer.
4225 once
4226 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (21, 17))
4227 end
4228
4229 frozen diagram_view_uml_icon: !EV_PIXMAP is
4230 -- Access to 'view uml' pixmap.
4231 once
4232 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (22, 17))
4233 end
4234
4235 frozen diagram_view_uml_icon_buffer: !EV_PIXEL_BUFFER is
4236 -- Access to 'view uml' pixmap pixel buffer.
4237 once
4238 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (22, 17))
4239 end
4240
4241 frozen preference_boolean_icon: !EV_PIXMAP is
4242 -- Access to 'boolean' pixmap.
4243 once
4244 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 18))
4245 end
4246
4247 frozen preference_boolean_icon_buffer: !EV_PIXEL_BUFFER is
4248 -- Access to 'boolean' pixmap pixel buffer.
4249 once
4250 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 18))
4251 end
4252
4253 frozen preference_color_icon: !EV_PIXMAP is
4254 -- Access to 'color' pixmap.
4255 once
4256 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 18))
4257 end
4258
4259 frozen preference_color_icon_buffer: !EV_PIXEL_BUFFER is
4260 -- Access to 'color' pixmap pixel buffer.
4261 once
4262 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 18))
4263 end
4264
4265 frozen preference_string_icon: !EV_PIXMAP is
4266 -- Access to 'string' pixmap.
4267 once
4268 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 18))
4269 end
4270
4271 frozen preference_string_icon_buffer: !EV_PIXEL_BUFFER is
4272 -- Access to 'string' pixmap pixel buffer.
4273 once
4274 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 18))
4275 end
4276
4277 frozen preference_list_icon: !EV_PIXMAP is
4278 -- Access to 'list' pixmap.
4279 once
4280 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 18))
4281 end
4282
4283 frozen preference_list_icon_buffer: !EV_PIXEL_BUFFER is
4284 -- Access to 'list' pixmap pixel buffer.
4285 once
4286 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 18))
4287 end
4288
4289 frozen preference_numerical_icon: !EV_PIXMAP is
4290 -- Access to 'numerical' pixmap.
4291 once
4292 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 18))
4293 end
4294
4295 frozen preference_numerical_icon_buffer: !EV_PIXEL_BUFFER is
4296 -- Access to 'numerical' pixmap pixel buffer.
4297 once
4298 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 18))
4299 end
4300
4301 frozen preference_font_icon: !EV_PIXMAP is
4302 -- Access to 'font' pixmap.
4303 once
4304 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 18))
4305 end
4306
4307 frozen preference_font_icon_buffer: !EV_PIXEL_BUFFER is
4308 -- Access to 'font' pixmap pixel buffer.
4309 once
4310 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 18))
4311 end
4312
4313 frozen preference_shortcut_icon: !EV_PIXMAP is
4314 -- Access to 'shortcut' pixmap.
4315 once
4316 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 18))
4317 end
4318
4319 frozen preference_shortcut_icon_buffer: !EV_PIXEL_BUFFER is
4320 -- Access to 'shortcut' pixmap pixel buffer.
4321 once
4322 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 18))
4323 end
4324
4325 frozen document_eiffel_project_icon: !EV_PIXMAP is
4326 -- Access to 'eiffel project' pixmap.
4327 once
4328 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 18))
4329 end
4330
4331 frozen document_eiffel_project_icon_buffer: !EV_PIXEL_BUFFER is
4332 -- Access to 'eiffel project' pixmap pixel buffer.
4333 once
4334 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 18))
4335 end
4336
4337 frozen document_eiffel_project_compiled_icon: !EV_PIXMAP is
4338 -- Access to 'eiffel project compiled' pixmap.
4339 once
4340 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 18))
4341 end
4342
4343 frozen document_eiffel_project_compiled_icon_buffer: !EV_PIXEL_BUFFER is
4344 -- Access to 'eiffel project compiled' pixmap pixel buffer.
4345 once
4346 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 18))
4347 end
4348
4349 frozen document_blank_icon: !EV_PIXMAP is
4350 -- Access to 'blank' pixmap.
4351 once
4352 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 18))
4353 end
4354
4355 frozen document_blank_icon_buffer: !EV_PIXEL_BUFFER is
4356 -- Access to 'blank' pixmap pixel buffer.
4357 once
4358 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 18))
4359 end
4360
4361 frozen document_eiffel_project_large_icon: !EV_PIXMAP is
4362 -- Access to 'eiffel project large' pixmap.
4363 once
4364 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 18))
4365 end
4366
4367 frozen document_eiffel_project_large_icon_buffer: !EV_PIXEL_BUFFER is
4368 -- Access to 'eiffel project large' pixmap pixel buffer.
4369 once
4370 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 18))
4371 end
4372
4373 frozen compile_animation_1_icon: !EV_PIXMAP is
4374 -- Access to 'animation 1' pixmap.
4375 once
4376 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 19))
4377 end
4378
4379 frozen compile_animation_1_icon_buffer: !EV_PIXEL_BUFFER is
4380 -- Access to 'animation 1' pixmap pixel buffer.
4381 once
4382 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 19))
4383 end
4384
4385 frozen compile_animation_2_icon: !EV_PIXMAP is
4386 -- Access to 'animation 2' pixmap.
4387 once
4388 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 19))
4389 end
4390
4391 frozen compile_animation_2_icon_buffer: !EV_PIXEL_BUFFER is
4392 -- Access to 'animation 2' pixmap pixel buffer.
4393 once
4394 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 19))
4395 end
4396
4397 frozen compile_animation_3_icon: !EV_PIXMAP is
4398 -- Access to 'animation 3' pixmap.
4399 once
4400 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 19))
4401 end
4402
4403 frozen compile_animation_3_icon_buffer: !EV_PIXEL_BUFFER is
4404 -- Access to 'animation 3' pixmap pixel buffer.
4405 once
4406 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 19))
4407 end
4408
4409 frozen compile_animation_4_icon: !EV_PIXMAP is
4410 -- Access to 'animation 4' pixmap.
4411 once
4412 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 19))
4413 end
4414
4415 frozen compile_animation_4_icon_buffer: !EV_PIXEL_BUFFER is
4416 -- Access to 'animation 4' pixmap pixel buffer.
4417 once
4418 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 19))
4419 end
4420
4421 frozen compile_animation_5_icon: !EV_PIXMAP is
4422 -- Access to 'animation 5' pixmap.
4423 once
4424 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 19))
4425 end
4426
4427 frozen compile_animation_5_icon_buffer: !EV_PIXEL_BUFFER is
4428 -- Access to 'animation 5' pixmap pixel buffer.
4429 once
4430 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 19))
4431 end
4432
4433 frozen compile_animation_6_icon: !EV_PIXMAP is
4434 -- Access to 'animation 6' pixmap.
4435 once
4436 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 19))
4437 end
4438
4439 frozen compile_animation_6_icon_buffer: !EV_PIXEL_BUFFER is
4440 -- Access to 'animation 6' pixmap pixel buffer.
4441 once
4442 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 19))
4443 end
4444
4445 frozen compile_animation_7_icon: !EV_PIXMAP is
4446 -- Access to 'animation 7' pixmap.
4447 once
4448 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 19))
4449 end
4450
4451 frozen compile_animation_7_icon_buffer: !EV_PIXEL_BUFFER is
4452 -- Access to 'animation 7' pixmap pixel buffer.
4453 once
4454 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 19))
4455 end
4456
4457 frozen compile_animation_8_icon: !EV_PIXMAP is
4458 -- Access to 'animation 8' pixmap.
4459 once
4460 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 19))
4461 end
4462
4463 frozen compile_animation_8_icon_buffer: !EV_PIXEL_BUFFER is
4464 -- Access to 'animation 8' pixmap pixel buffer.
4465 once
4466 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 19))
4467 end
4468
4469 frozen compile_error_icon: !EV_PIXMAP is
4470 -- Access to 'error' pixmap.
4471 once
4472 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 19))
4473 end
4474
4475 frozen compile_error_icon_buffer: !EV_PIXEL_BUFFER is
4476 -- Access to 'error' pixmap pixel buffer.
4477 once
4478 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 19))
4479 end
4480
4481 frozen compile_success_icon: !EV_PIXMAP is
4482 -- Access to 'success' pixmap.
4483 once
4484 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 19))
4485 end
4486
4487 frozen compile_success_icon_buffer: !EV_PIXEL_BUFFER is
4488 -- Access to 'success' pixmap pixel buffer.
4489 once
4490 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 19))
4491 end
4492
4493 frozen run_animation_1_icon: !EV_PIXMAP is
4494 -- Access to 'animation 1' pixmap.
4495 once
4496 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 19))
4497 end
4498
4499 frozen run_animation_1_icon_buffer: !EV_PIXEL_BUFFER is
4500 -- Access to 'animation 1' pixmap pixel buffer.
4501 once
4502 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 19))
4503 end
4504
4505 frozen run_animation_2_icon: !EV_PIXMAP is
4506 -- Access to 'animation 2' pixmap.
4507 once
4508 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 19))
4509 end
4510
4511 frozen run_animation_2_icon_buffer: !EV_PIXEL_BUFFER is
4512 -- Access to 'animation 2' pixmap pixel buffer.
4513 once
4514 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 19))
4515 end
4516
4517 frozen run_animation_3_icon: !EV_PIXMAP is
4518 -- Access to 'animation 3' pixmap.
4519 once
4520 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 19))
4521 end
4522
4523 frozen run_animation_3_icon_buffer: !EV_PIXEL_BUFFER is
4524 -- Access to 'animation 3' pixmap pixel buffer.
4525 once
4526 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 19))
4527 end
4528
4529 frozen run_animation_4_icon: !EV_PIXMAP is
4530 -- Access to 'animation 4' pixmap.
4531 once
4532 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 19))
4533 end
4534
4535 frozen run_animation_4_icon_buffer: !EV_PIXEL_BUFFER is
4536 -- Access to 'animation 4' pixmap pixel buffer.
4537 once
4538 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 19))
4539 end
4540
4541 frozen run_animation_5_icon: !EV_PIXMAP is
4542 -- Access to 'animation 5' pixmap.
4543 once
4544 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 19))
4545 end
4546
4547 frozen run_animation_5_icon_buffer: !EV_PIXEL_BUFFER is
4548 -- Access to 'animation 5' pixmap pixel buffer.
4549 once
4550 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 19))
4551 end
4552
4553 frozen project_settings_system_icon: !EV_PIXMAP is
4554 -- Access to 'system' pixmap.
4555 once
4556 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 20))
4557 end
4558
4559 frozen project_settings_system_icon_buffer: !EV_PIXEL_BUFFER is
4560 -- Access to 'system' pixmap pixel buffer.
4561 once
4562 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 20))
4563 end
4564
4565 frozen project_settings_target_icon: !EV_PIXMAP is
4566 -- Access to 'target' pixmap.
4567 once
4568 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 20))
4569 end
4570
4571 frozen project_settings_target_icon_buffer: !EV_PIXEL_BUFFER is
4572 -- Access to 'target' pixmap pixel buffer.
4573 once
4574 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 20))
4575 end
4576
4577 frozen project_settings_assertions_icon: !EV_PIXMAP is
4578 -- Access to 'assertions' pixmap.
4579 once
4580 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 20))
4581 end
4582
4583 frozen project_settings_assertions_icon_buffer: !EV_PIXEL_BUFFER is
4584 -- Access to 'assertions' pixmap pixel buffer.
4585 once
4586 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 20))
4587 end
4588
4589 frozen project_settings_groups_icon: !EV_PIXMAP is
4590 -- Access to 'groups' pixmap.
4591 once
4592 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 20))
4593 end
4594
4595 frozen project_settings_groups_icon_buffer: !EV_PIXEL_BUFFER is
4596 -- Access to 'groups' pixmap pixel buffer.
4597 once
4598 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 20))
4599 end
4600
4601 frozen project_settings_advanced_icon: !EV_PIXMAP is
4602 -- Access to 'advanced' pixmap.
4603 once
4604 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 20))
4605 end
4606
4607 frozen project_settings_advanced_icon_buffer: !EV_PIXEL_BUFFER is
4608 -- Access to 'advanced' pixmap pixel buffer.
4609 once
4610 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 20))
4611 end
4612
4613 frozen project_settings_warnings_icon: !EV_PIXMAP is
4614 -- Access to 'warnings' pixmap.
4615 once
4616 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 20))
4617 end
4618
4619 frozen project_settings_warnings_icon_buffer: !EV_PIXEL_BUFFER is
4620 -- Access to 'warnings' pixmap pixel buffer.
4621 once
4622 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 20))
4623 end
4624
4625 frozen project_settings_debug_icon: !EV_PIXMAP is
4626 -- Access to 'debug' pixmap.
4627 once
4628 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (7, 20))
4629 end
4630
4631 frozen project_settings_debug_icon_buffer: !EV_PIXEL_BUFFER is
4632 -- Access to 'debug' pixmap pixel buffer.
4633 once
4634 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (7, 20))
4635 end
4636
4637 frozen project_settings_externals_icon: !EV_PIXMAP is
4638 -- Access to 'externals' pixmap.
4639 once
4640 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (8, 20))
4641 end
4642
4643 frozen project_settings_externals_icon_buffer: !EV_PIXEL_BUFFER is
4644 -- Access to 'externals' pixmap pixel buffer.
4645 once
4646 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (8, 20))
4647 end
4648
4649 frozen project_settings_tasks_icon: !EV_PIXMAP is
4650 -- Access to 'tasks' pixmap.
4651 once
4652 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (9, 20))
4653 end
4654
4655 frozen project_settings_tasks_icon_buffer: !EV_PIXEL_BUFFER is
4656 -- Access to 'tasks' pixmap pixel buffer.
4657 once
4658 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (9, 20))
4659 end
4660
4661 frozen project_settings_variables_icon: !EV_PIXMAP is
4662 -- Access to 'variables' pixmap.
4663 once
4664 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (10, 20))
4665 end
4666
4667 frozen project_settings_variables_icon_buffer: !EV_PIXEL_BUFFER is
4668 -- Access to 'variables' pixmap pixel buffer.
4669 once
4670 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (10, 20))
4671 end
4672
4673 frozen project_settings_type_mappings_icon: !EV_PIXMAP is
4674 -- Access to 'type mappings' pixmap.
4675 once
4676 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (11, 20))
4677 end
4678
4679 frozen project_settings_type_mappings_icon_buffer: !EV_PIXEL_BUFFER is
4680 -- Access to 'type mappings' pixmap pixel buffer.
4681 once
4682 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (11, 20))
4683 end
4684
4685 frozen project_settings_edit_library_icon: !EV_PIXMAP is
4686 -- Access to 'edit library' pixmap.
4687 once
4688 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (12, 20))
4689 end
4690
4691 frozen project_settings_edit_library_icon_buffer: !EV_PIXEL_BUFFER is
4692 -- Access to 'edit library' pixmap pixel buffer.
4693 once
4694 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (12, 20))
4695 end
4696
4697 frozen project_settings_include_file_icon: !EV_PIXMAP is
4698 -- Access to 'include file' pixmap.
4699 once
4700 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (13, 20))
4701 end
4702
4703 frozen project_settings_include_file_icon_buffer: !EV_PIXEL_BUFFER is
4704 -- Access to 'include file' pixmap pixel buffer.
4705 once
4706 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (13, 20))
4707 end
4708
4709 frozen project_settings_object_file_icon: !EV_PIXMAP is
4710 -- Access to 'object file' pixmap.
4711 once
4712 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (14, 20))
4713 end
4714
4715 frozen project_settings_object_file_icon_buffer: !EV_PIXEL_BUFFER is
4716 -- Access to 'object file' pixmap pixel buffer.
4717 once
4718 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (14, 20))
4719 end
4720
4721 frozen project_settings_make_file_icon: !EV_PIXMAP is
4722 -- Access to 'make file' pixmap.
4723 once
4724 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (15, 20))
4725 end
4726
4727 frozen project_settings_make_file_icon_buffer: !EV_PIXEL_BUFFER is
4728 -- Access to 'make file' pixmap pixel buffer.
4729 once
4730 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (15, 20))
4731 end
4732
4733 frozen project_settings_resource_file_icon: !EV_PIXMAP is
4734 -- Access to 'resource file' pixmap.
4735 once
4736 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (16, 20))
4737 end
4738
4739 frozen project_settings_resource_file_icon_buffer: !EV_PIXEL_BUFFER is
4740 -- Access to 'resource file' pixmap pixel buffer.
4741 once
4742 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (16, 20))
4743 end
4744
4745 frozen project_settings_task_icon: !EV_PIXMAP is
4746 -- Access to 'task' pixmap.
4747 once
4748 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (17, 20))
4749 end
4750
4751 frozen project_settings_task_icon_buffer: !EV_PIXEL_BUFFER is
4752 -- Access to 'task' pixmap pixel buffer.
4753 once
4754 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (17, 20))
4755 end
4756
4757 frozen overlay_locked_icon: !EV_PIXMAP is
4758 -- Access to 'locked' pixmap.
4759 once
4760 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (1, 21))
4761 end
4762
4763 frozen overlay_locked_icon_buffer: !EV_PIXEL_BUFFER is
4764 -- Access to 'locked' pixmap pixel buffer.
4765 once
4766 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (1, 21))
4767 end
4768
4769 frozen overlay_error_icon: !EV_PIXMAP is
4770 -- Access to 'error' pixmap.
4771 once
4772 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (2, 21))
4773 end
4774
4775 frozen overlay_error_icon_buffer: !EV_PIXEL_BUFFER is
4776 -- Access to 'error' pixmap pixel buffer.
4777 once
4778 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (2, 21))
4779 end
4780
4781 frozen overlay_warning_icon: !EV_PIXMAP is
4782 -- Access to 'warning' pixmap.
4783 once
4784 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (3, 21))
4785 end
4786
4787 frozen overlay_warning_icon_buffer: !EV_PIXEL_BUFFER is
4788 -- Access to 'warning' pixmap pixel buffer.
4789 once
4790 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (3, 21))
4791 end
4792
4793 frozen overlay_packaged_icon: !EV_PIXMAP is
4794 -- Access to 'packaged' pixmap.
4795 once
4796 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (4, 21))
4797 end
4798
4799 frozen overlay_packaged_icon_buffer: !EV_PIXEL_BUFFER is
4800 -- Access to 'packaged' pixmap pixel buffer.
4801 once
4802 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (4, 21))
4803 end
4804
4805 frozen overlay_search_icon: !EV_PIXMAP is
4806 -- Access to 'search' pixmap.
4807 once
4808 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (5, 21))
4809 end
4810
4811 frozen overlay_search_icon_buffer: !EV_PIXEL_BUFFER is
4812 -- Access to 'search' pixmap pixel buffer.
4813 once
4814 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (5, 21))
4815 end
4816
4817 frozen overlay_new_icon: !EV_PIXMAP is
4818 -- Access to 'new' pixmap.
4819 once
4820 Result := ({!EV_PIXMAP}) #? raw_buffer.sub_pixmap (pixel_rectangle (6, 21))
4821 end
4822
4823 frozen overlay_new_icon_buffer: !EV_PIXEL_BUFFER is
4824 -- Access to 'new' pixmap pixel buffer.
4825 once
4826 Result := ({!EV_PIXEL_BUFFER}) #? raw_buffer.sub_pixel_buffer (pixel_rectangle (6, 21))
4827 end
4828
4829
4830 feature {NONE} -- Query
4831
4832 frozen pixel_rectangle (a_x: INTEGER; a_y: INTEGER): !EV_RECTANGLE is
4833 -- Retrieves a pixmap from matrix coordinates `a_x', `a_y'
4834 require
4835 a_x_positive: a_x > 0
4836 a_x_small_enough: a_x <= 33
4837 a_y_positive: a_y > 0
4838 a_y_small_enough: a_y <= 23
4839 local
4840 l_x_offset: INTEGER
4841 l_y_offset: INTEGER
4842 do
4843 l_x_offset := ((a_x - 1) * (16 + 1)) + 1
4844 l_y_offset := ((a_y - 1) * (16 + 1)) + 1
4845
4846 Result := rectangle
4847 Result.set_x (l_x_offset)
4848 Result.set_y (l_y_offset)
4849 Result.set_width (16)
4850 Result.set_height (16)
4851 end
4852
4853 feature {NONE} -- Implementation
4854
4855 raw_buffer: !EV_PIXEL_BUFFER
4856 -- raw matrix pixel buffer
4857
4858 frozen rectangle: !EV_RECTANGLE is
4859 -- Reusable rectangle for `pixmap_from_constant'.
4860 once
4861 create Result
4862 end
4863
4864 indexing
4865 copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
4866 license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
4867 source: "[
4868 Eiffel Software
4869 356 Storke Road, Goleta, CA 93117 USA
4870 Telephone 805-685-1006, Fax 805-685-6869
4871 Website http://www.eiffel.com
4872 Customer support http://support.eiffel.com
4873 ]"
4874
4875 end -- class {ES_PIXMAPS_16X16}

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23