set_gravity


Description:

public void set_gravity (Gravity gravity)

Sets the gravity that is used when changing the window size programmatically.

Parameters:

this

a window

gravity

the new gravity