[][src]Constant fltk::gl::GL_DOUBLEBUFFER

pub const GL_DOUBLEBUFFER: u32 = 3122; // 3_122u32