[][src]Constant fltk::gl::GL_DOUBLE_VEC3_EXT

pub const GL_DOUBLE_VEC3_EXT: u32 = 36861; // 36_861u32