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.

this	a `GtkGLArea`
has_depth_buffer	true to add a depth buffer