class S_SCROLLABLE_LIST inherit S_CONTEXT redefine set_context_attributes end creation make feature make (node: SCROLLABLE_LIST_C) is do save_attributes (node); --visible_item_count := node.visible_item_count; end; context (a_parent: COMPOSITE_C): SCROLLABLE_LIST_C is do !!Result; create_context (Result, a_parent); end; set_context_attributes (a_context: SCROLLABLE_LIST_C) is do set_attributes (a_context); --a_context.set_visible_item_count (visible_item_count); end; feature {NONE} count_modified: BOOLEAN; visible_item_count: INTEGER; -- Do not visible item count end