[][src]Constant fltk::gl::GL_PREFER_DOUBLEBUFFER_HINT_PGI

pub const GL_PREFER_DOUBLEBUFFER_HINT_PGI: u32 = 107000; // 107_000u32