You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: sheets/src/objects/eg_sheet_properties.e
+59-28Lines changed: 59 additions & 28 deletions
Original file line number
Diff line number
Diff line change
@@ -28,37 +28,13 @@ note
28
28
class
29
29
EG_SHEET_PROPERTIES
30
30
31
-
inherit
32
-
33
-
ANY
34
-
redefine
35
-
default_create
36
-
end
37
-
38
-
create
39
-
default_create
40
-
41
-
feature {NONE} -- Initialization
42
-
43
-
default_create
44
-
do
45
-
createtitle.make_empty
46
-
createsheet_type
47
-
creategrid_properties
48
-
ensurethen
49
-
sheet_id = 0
50
-
notis_sheet_id_set
51
-
notis_sheet_type_set
52
-
end
53
-
54
-
55
31
feature-- Access
56
32
57
33
sheet_id: INTEGER
58
34
-- The ID of the sheet. Must be non-negative. This field cannot be changed once set.
59
35
-- NATURAL?
60
36
61
-
title: STRING
37
+
title: detachableSTRING
62
38
-- The name of the sheet.
63
39
64
40
index: INTEGER
@@ -68,10 +44,10 @@ feature -- Access
68
44
-- For example, if there were 3 sheets (S1, S2, S3) in order to move S1 ahead of S2 the index would have to be set to 2.
69
45
-- A sheet index update request is ignored if the requested index is identical to the sheets current index or if the requested new index is equal to the current sheet index + 1.
70
46
71
-
sheet_type: EG_SHEET_TYPE
47
+
sheet_type: detachableEG_SHEET_TYPE
72
48
-- The type of sheet. Defaults to GRID . This field cannot be changed once set.
73
49
74
-
grid_properties: EG_GRID_PROPERTIES
50
+
grid_properties: detachableEG_GRID_PROPERTIES
75
51
-- Additional properties of the sheet if this sheet is a grid.
76
52
-- (If the sheet is an object sheet, containing a chart or image, then this field will be absent.)
77
53
-- When writing it is an error to set any grid properties on non-grid sheets.
0 commit comments