diff options
-rw-r--r-- | src/api/glx/mod.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/api/glx/mod.rs b/src/api/glx/mod.rs index d3f28ed..95b6f99 100644 --- a/src/api/glx/mod.rs +++ b/src/api/glx/mod.rs @@ -415,10 +415,9 @@ unsafe fn choose_fbconfig(glx: &ffi::glx::Glx, extensions: &str, xlib: &ffi::Xli out.push(stencil as c_int); } - if let Some(double_buffer) = reqs.double_buffer { - out.push(ffi::glx::DOUBLEBUFFER as c_int); - out.push(if double_buffer { 1 } else { 0 }); - } + let double_buffer = reqs.double_buffer.unwrap_or(true); + out.push(ffi::glx::DOUBLEBUFFER as c_int); + out.push(if double_buffer { 1 } else { 0 }); if let Some(multisampling) = reqs.multisampling { if extensions.split(' ').find(|&i| i == "GLX_ARB_multisample").is_some() { |