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.

creation
   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.
      ensure
         container = Void

feature(s) from LAYOUT
   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.
      ensure
         container = Void

feature(s) from LAYOUT
   container: CONTAINER

feature(s) from LAYOUT
   set_container (c: SCROLL_VIEW)
      require
         container = Void;
         c /= Void;
         c.layout = Current
      ensure
         container = c

   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

feature(s) from SCROLL_LAYOUT
   scroll_container: SCROLL_VIEW



end of SCROLL_LAYOUT