set_has_mipmap

Description:

public void set_has_mipmap (bool has_mipmap)

Sets whether the texture has a mipmap.

This allows the renderer and other users of the generated texture to use a higher quality downscaling.

Typically, the `glGenerateMipmap` function is used to generate a mimap.

this	a `GdkGLTextureBuilder`
has_mipmap	Whether the texture has a mipmap