set_has_stencil_buffer

Description:

public void set_has_stencil_buffer (bool has_stencil_buffer)

Sets whether the `GtkGLArea` 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.

this	a `GtkGLArea`
has_stencil_buffer	true to add a stencil buffer