diff options
-rw-r--r-- | src/api/wgl/mod.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/api/wgl/mod.rs b/src/api/wgl/mod.rs index 7a1ab3a..a71bb34 100644 --- a/src/api/wgl/mod.rs +++ b/src/api/wgl/mod.rs @@ -132,9 +132,7 @@ impl Context { // handling vsync if builder.vsync { - // contrary to most extensions, it is permitted to discover the presence of - // `WGL_EXT_swap_control` by seeing if the function pointer is available - if extra_functions.SwapIntervalEXT.is_loaded() { + if extensions.split(' ').find(|&i| i == "WGL_EXT_swap_control").is_some() { let _guard = try!(CurrentContextGuard::make_current(hdc, context.0)); if extra_functions.SwapIntervalEXT(1) == 0 { |