[ Version ( since = "4.20" ) ]
public void set_gravity (WindowGravity gravity)
Sets the gravity that is used when changing the window size programmatically.
| this |
a window |
| gravity |
the new gravity |