GLArea.setHasStencilBuffer
void setHasStencilBuffer(bool hasStencilBuffer)Sets whether the [gtk.glarea.GLArea] should use a stencil buffer.
If has_stencil_buffer is true the widget will allocate and enable a stencil buffer for the target framebuffer. Otherwise there will be none.
Parameters
hasStencilBuffer | true to add a stencil buffer |