get-depth-size in gl-config%

Reports the depth-buffer size that the configuration requests, where zero means no depth buffer is requested.

• (send a-gl-config get-depth-size) -> exact integer in [0, 256]