ANY CONTAINER NONE
class interface ROOT_LAYOUT
   -- The ROOT_LAYOUT know the position and size of all windows managed
   -- by the window manager.

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
         valid_size(container)

   update_requisition
      require
         container /= Void

   expose_paint
      require
         container /= Void

   valid_size (c: CONTAINER): BOOLEAN



end of ROOT_LAYOUT