1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
-- Copyright (c) 2000 Oliver Elphick and others
-- Licensed under Eiffel Forum Freeware License, version 1 is
-- (see forum.txt)
--
indexing
description: "GDK cursor enumeration"
author: "Oliver Elphick"
date: "5th May 2000"
cvs: "$Id: gdk_cursor_enum.e,v 1.1 2000/05/12 19:45:31 elphick Exp $"
class GDK_CURSOR_ENUM
feature {GDK_CURSOR}
Gdk_num_glyphs: INTEGER is 154
Gdk_x_cursor: INTEGER is 0
Gdk_arrow: INTEGER is 2
Gdk_based_arrow_down: INTEGER is 4
Gdk_based_arrow_up: INTEGER is 6
Gdk_boat: INTEGER is 8
Gdk_bogosity: INTEGER is 10
Gdk_bottom_left_corner: INTEGER is 12
Gdk_bottom_right_corner: INTEGER is 14
Gdk_bottom_side: INTEGER is 16
Gdk_bottom_tee: INTEGER is 18
Gdk_box_spiral: INTEGER is 20
Gdk_center_ptr: INTEGER is 22
Gdk_circle: INTEGER is 24
Gdk_clock: INTEGER is 26
Gdk_coffee_mug: INTEGER is 28
Gdk_cross: INTEGER is 30
Gdk_cross_reverse: INTEGER is 32
Gdk_crosshair: INTEGER is 34
Gdk_diamond_cross: INTEGER is 36
Gdk_dot: INTEGER is 38
Gdk_dotbox: INTEGER is 40
Gdk_double_arrow: INTEGER is 42
Gdk_draft_large: INTEGER is 44
Gdk_draft_small: INTEGER is 46
Gdk_draped_box: INTEGER is 48
Gdk_exchange: INTEGER is 50
Gdk_fleur: INTEGER is 52
Gdk_gobbler: INTEGER is 54
Gdk_gumby: INTEGER is 56
Gdk_hand1: INTEGER is 58
Gdk_hand2: INTEGER is 60
Gdk_heart: INTEGER is 62
Gdk_icon: INTEGER is 64
Gdk_iron_cross: INTEGER is 66
Gdk_left_ptr: INTEGER is 68
Gdk_left_side: INTEGER is 70
Gdk_left_tee: INTEGER is 72
Gdk_leftbutton: INTEGER is 74
Gdk_ll_angle: INTEGER is 76
Gdk_lr_angle: INTEGER is 78
Gdk_man: INTEGER is 80
Gdk_middlebutton: INTEGER is 82
Gdk_mouse: INTEGER is 84
Gdk_pencil: INTEGER is 86
Gdk_pirate: INTEGER is 88
Gdk_plus: INTEGER is 90
Gdk_question_arrow: INTEGER is 92
Gdk_right_ptr: INTEGER is 94
Gdk_right_side: INTEGER is 96
Gdk_right_tee: INTEGER is 98
Gdk_rightbutton: INTEGER is 100
Gdk_rtl_logo: INTEGER is 102
Gdk_sailboat: INTEGER is 104
Gdk_sb_down_arrow: INTEGER is 106
Gdk_sb_h_double_arrow: INTEGER is 108
Gdk_sb_left_arrow: INTEGER is 110
Gdk_sb_right_arrow: INTEGER is 112
Gdk_sb_up_arrow: INTEGER is 114
Gdk_sb_v_double_arrow: INTEGER is 116
Gdk_shuttle: INTEGER is 118
Gdk_sizing: INTEGER is 120
Gdk_spider: INTEGER is 122
Gdk_spraycan: INTEGER is 124
Gdk_star: INTEGER is 126
Gdk_target: INTEGER is 128
Gdk_tcross: INTEGER is 130
Gdk_top_left_arrow: INTEGER is 132
Gdk_top_left_corner: INTEGER is 134
Gdk_top_right_corner: INTEGER is 136
Gdk_top_side: INTEGER is 138
Gdk_top_tee: INTEGER is 140
Gdk_trek: INTEGER is 142
Gdk_ul_angle: INTEGER is 144
Gdk_umbrella: INTEGER is 146
Gdk_ur_angle: INTEGER is 148
Gdk_watch: INTEGER is 150
Gdk_xterm: INTEGER is 152
end -- GDK_CURSOR_ENUM
|
