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