diff options
author | Mike Erwin <significant.bit@gmail.com> | 2015-11-24 10:20:38 +0300 |
---|---|---|
committer | Mike Erwin <significant.bit@gmail.com> | 2015-11-24 10:21:07 +0300 |
commit | 291afea8ccdea57d4b2a51f134e9f53deeff964e (patch) | |
tree | 9e3b6368fa383b1aef835aa8bdeb7f55671579e1 /release | |
parent | 4ebede5d1f4db09091df69aa6e19b08b4b0fa535 (diff) |
OpenGL: clean up use of old extensions
Diffstat (limited to 'release')
-rw-r--r-- | release/scripts/startup/bl_ui/space_userpref.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/release/scripts/startup/bl_ui/space_userpref.py b/release/scripts/startup/bl_ui/space_userpref.py index cb8c35176b5..d8b033b94e3 100644 --- a/release/scripts/startup/bl_ui/space_userpref.py +++ b/release/scripts/startup/bl_ui/space_userpref.py @@ -451,10 +451,9 @@ class USERPREF_PT_system(Panel): col.prop(system, "use_gpu_mipmap") col.prop(system, "use_16bit_textures") - if system.is_occlusion_query_supported(): - col.separator() - col.label(text="Selection") - col.prop(system, "select_method", text="") + col.separator() + col.label(text="Selection") + col.prop(system, "select_method", text="") col.separator() |