set_has_depth_buffer


Description:

public void set_has_depth_buffer (bool has_depth_buffer)

Sets whether the `GtkGLArea` should use a depth buffer.

If has_depth_buffer is true the widget will allocate and enable a depth buffer for the target framebuffer. Otherwise there will be none.

Parameters:

this

a `GtkGLArea`

has_depth_buffer

true to add a depth buffer