ANY CONTAINER NONE
class interface ROW_LAYOUT
   -- Puts all the WIDGETs in a row.

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
   container: CONTAINER

feature(s) from LAYOUT
   set_container (c: CONTAINER)
      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
         container.child.count = position_y.count;
         position_x.count = position_y.count;
         valid_size(container)

   update_requisition
      require
         container /= Void

   expose_paint
      require
         container /= Void

   valid_size (c: CONTAINER): BOOLEAN

feature(s) from ROW_LAYOUT
   border: INTEGER

   spacing: INTEGER

   shrink_allowed_min_width: INTEGER

   expand_allowed_std_width: INTEGER

   shrink_allowed_first: WIDGET

   expand_allowed_first: WIDGET

   set_border (size: INTEGER)
      -- space between the border and objects inside
      require
         size >= 0
      ensure
         border = size

   set_spacing (size: INTEGER)
      -- space between objects in the container
      require
         size >= 0
      ensure
         spacing = size

   insert_button_space
      -- Allow to group buttons before this space and after this space.
      -- Used before the first button or after the last: the button
      -- will not be attached to the border.
      -- NOTE: use only NOT expand_allowed objects.



end of ROW_LAYOUT