get-stencil-size in gl-config%

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

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