class interface PALETTE_COLOR

creation
   make_index (idx: INTEGER)
      --  Set colour index (in the current palette).

      require
         valid_index: idx >= 0

feature(s) from PALETTE_COLOR
   --  Index

   index: INTEGER
      --  Colour index.


   make_index (idx: INTEGER)
      --  Set colour index (in the current palette).

      require
         valid_index: idx >= 0

   set_index (idx: INTEGER)
      --  Set colour index (in the current palette).

      require
         valid_index: idx >= 0


end of PALETTE_COLOR