[][src]Constant fltk::gl::GL_TEXTURE_RED_SIZE_EXT

pub const GL_TEXTURE_RED_SIZE_EXT: u32 = 32860; // 32_860u32