ANY | CONTAINER | NONE | SCROLL_VIEW |
class interface SCROLL_LAYOUT -- Only one object to draw, it is SUB_WINDOW type and may be bigger -- than th SCROLL_VIEW we are attached to. feature(s) from LAYOUT container: CONTAINER feature(s) from LAYOUT detach require container /= Void ensure container = Void redo_layout (x, y: INTEGER) require container /= Void ensure valid_size(container) update_requisition require container /= Void expose_paint require container /= Void valid_size (c: CONTAINER): BOOLEAN end of SCROLL_LAYOUT