gravity

The gravity to use when resizing the window programmatically.

Gravity describes which point of the window we want to keep fixed (meaning that the window will grow in the opposite direction). For example, a gravity of `GTK_WINDOW_GRAVITY_TOP_RIGHT` means that we want the to fix top right corner of the window.