[][src]Constant fltk::gl::GL_COLOR_INDEX12_EXT

pub const GL_COLOR_INDEX12_EXT: u32 = 32998; // 32_998u32