class interface LOGICAL_PALETTE

creation
   make (sz: INTEGER)
      --  Create palette with sz colour entries.

      require
         valid_size: sz > 1; --  sz <= device.capabilities.palette_size
         valid_gdi_size: 

feature(s) from LOGICAL_PALETTE
   size: INTEGER
      --  Size of this palette.


feature(s) from LOGICAL_PALETTE
   set_color (idx: INTEGER; col: RGB_COLOR)
      --  Set palette colour at index idx.
      --  Lowest indexes have priority when electing sparse 
      --  hardware palette entries.

      require
         index: idx >= 1 and idx <= size;
         color: col /= Void
      ensure
         keep_reference:  --  has (col)

   color (idx: INTEGER): RGB_COLOR
      --  Colour at index idx. 



end of LOGICAL_PALETTE